Building theories in Nuprl
- 1 January 1989
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Constructive Mathematics and Computer ProgrammingPublished by Elsevier ,2014
- An environment for automated reasoning about partial functionsPublished by Springer Nature ,2005
- Specifying theorem provers in a higher-order logic programming languagePublished by Springer Nature ,2005
- Implementing number theory: An experiment with NuprlPublished by Springer Nature ,1986
- Constructions: A higher order proof system for mechanizing mathematicsPublished by Springer Nature ,1985
- Writing programs that construct proofsJournal of Automated Reasoning, 1985
- Lessons learned from LCF: A Survey of Natural Deduction ProofsThe Computer Journal, 1985
- Edinburgh LCFLecture Notes in Computer Science, 1979