Implementing constructive real analysis (preliminary report)
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 165-178
- https://doi.org/10.1007/bfb0021090
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Constructive Mathematics and Computer ProgrammingPublished by Elsevier ,2014
- Computational metatheory in NuprlPublished by Springer Nature ,2005
- The calculus of constructionsInformation and Computation, 1988
- Edinburgh LCFLecture Notes in Computer Science, 1979
- A language and axioms for explicit mathematicsPublished by Springer Nature ,1975