Constructive Mathematics, in Theory and Programming Practice

ResearchSpace Repository

Show simple item record Bridges, D.S en Reeves, S en 2009-04-16T23:16:42Z en 2009-04-16T23:16:42Z en 1997-11 en
dc.identifier.citation CDMTCS Research Reports CDMTCS-068 (1997) en
dc.identifier.issn 1178-3540 en
dc.identifier.uri en
dc.description.abstract The first part of the paper introduces the varieties of modern constructive mathematics, concentrating on Bishop's constructive mathematics (BISH). It gives a sketch of both Myhill's axiomatic system for BISH and a constructive axiomatic development of the real line R. The second part of the paper focusses on the relation between constructive mathematics and programming, with emphasis on Martin-Löf's theory of types as a formal system for BISH. en
dc.publisher Department of Computer Science, The University of Auckland, New Zealand en
dc.relation.ispartofseries CDMTCS Research Report Series en
dc.rights.uri en
dc.source.uri en
dc.title Constructive Mathematics, in Theory and Programming Practice en
dc.type Technical Report en
dc.subject.marsden Fields of Research::280000 Information, Computing and Communication Sciences en
dc.rights.holder The author(s) en
dc.rights.accessrights en

Files in this item

Find Full text

This item appears in the following Collection(s)

Show simple item record


Search ResearchSpace

Advanced Search