Constructive Mathematics, in Theory and Programming Practice

ResearchSpace Repository

Show simple item record

dc.contributor.author Bridges, D.S en
dc.contributor.author Reeves, S en
dc.date.accessioned 2009-04-16T23:16:42Z en
dc.date.available 2009-04-16T23:16:42Z en
dc.date.issued 1997-11 en
dc.identifier.citation CDMTCS Research Reports CDMTCS-068 (1997) en
dc.identifier.issn 1178-3540 en
dc.identifier.uri http://hdl.handle.net/2292/3577 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 https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm en
dc.source.uri http://www.cs.auckland.ac.nz/staff-cgi-bin/mjd/secondcgi.pl?serial 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 http://purl.org/eprint/accessRights/OpenAccess en


Files in this item

Find Full text

This item appears in the following Collection(s)

Show simple item record

Share

Search ResearchSpace


Advanced Search

Browse

Statistics