| dc.contributor.author | Bridges, Douglas | |
| dc.contributor.author | Reeves, Steve | |
| dc.date.accessioned | 2008-11-26T02:46:59Z | |
| dc.date.available | 2008-11-26T02:46:59Z | |
| dc.date.issued | 1999 | |
| dc.identifier.citation | Bridges, D. & Reeves, S. (1999). Constructive Mathematics in Theory and Programming Practice. Philosophia Mathematica, 7(3), 65-104. | en_US |
| dc.identifier.uri | https://hdl.handle.net/10289/1471 | |
| 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 focuses on the relation between constructive mathematics and programming, with emphasis on Martin-Lof’s theory of types as a formal system for BISH. | en_US |
| dc.format.mimetype | application/pdf | |
| dc.language.iso | en | |
| dc.publisher | Oxford University Press | en_US |
| dc.relation.uri | http://philmat.oxfordjournals.org/ | en_US |
| dc.rights | This article has been published in the journal: Philosophia Mathematica. Copyright © 2008 Oxford University Press. | en_US |
| dc.subject | computer science | en_US |
| dc.subject | constructive mathematics | en_US |
| dc.title | Constructive Mathematics in Theory and Programming Practice | en_US |
| dc.type | Journal Article | en_US |
| dc.identifier.doi | 10.1093/philmat/7.1.65 | en_US |
| dc.relation.isPartOf | Philosophia Mathematica | en_NZ |
| pubs.begin-page | 65 | en_NZ |
| pubs.elements-id | 40418 | |
| pubs.end-page | 104 | en_NZ |
| pubs.issue | 3 | en_NZ |
| pubs.volume | 7 | en_NZ |
