Set theory, higher order logic or both?
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 191-201
- https://doi.org/10.1007/bfb0105405
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Experiments with ZF set theory in HOL and IsabellePublished by Springer Nature ,1995
- Exploring abstract algebra in constructive type theoryPublished by Springer Nature ,1994
- The Alf proof editor and its proof enginePublished by Springer Nature ,1994
- Specifying and verifying fault-tolerant systemsPublished by Springer Nature ,1994
- IsabellePublished by Springer Nature ,1994
- IMPS: An interactive mathematical proof systemJournal of Automated Reasoning, 1993
- The enhanced HDM system for specification and verificationACM SIGSOFT Software Engineering Notes, 1985
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940