Representing higher-order logic proofs in HOL
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 456-470
- https://doi.org/10.1007/3-540-58450-1_60
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A formalization of the strong normalization proof for System F in LEGOPublished by Springer Nature ,2006
- Pure type systems formalizedPublished by Springer Nature ,2005
- Representing higher-order logic proofs in HOLPublished by Springer Nature ,1994
- HOL: A Proof Generating System for Higher-Order LogicPublished by Springer Nature ,1988