Reasoning about functional programs in Nuprl
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 145-164
- https://doi.org/10.1007/3-540-56883-2_9
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Computational metatheory in NuprlPublished by Springer Nature ,2005
- Equality in lazy computation systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- On computational open-endedness in Martin-Lof's type theoryPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The semantics of reflected proofPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Implementing constructive real analysis (preliminary report)Published by Springer Nature ,1992
- Some normalization properties of martin-löf's type theory, and applicationsPublished by Springer Nature ,1991
- Verification of combinational logic in NuprlPublished by Springer Nature ,1990
- 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