Simple Type Theory in EVES
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- m-EVES: a tool for verifying softwarePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Formal Verification in m-EVESPublished by Springer Nature ,1989
- HOL: A Proof Generating System for Higher-Order LogicPublished by Springer Nature ,1988
- Another algorithm for bracket abstractionThe Journal of Symbolic Logic, 1979
- Functionals defined by recursion.Notre Dame Journal of Formal Logic, 1967