The practice of logical frameworks
- 1 January 1996
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 119-134
- https://doi.org/10.1007/3-540-61064-2_33
Abstract
No abstract availableKeywords
This publication has 60 references indexed in Scilit:
- Typed Lambda Calculi and ApplicationsPublished by Springer Nature ,1995
- Logical closuresPublished by Springer Nature ,1994
- Program extraction in a Logical Framework settingPublished by Springer Nature ,1994
- Representing proof transformations for program optimizationPublished by Springer Nature ,1994
- Interpreter verification for a functional languagePublished by Springer Nature ,1994
- Logic Programming and Automated ReasoningPublished by Springer Nature ,1994
- Constraints in Computational LogicsPublished by Springer Nature ,1994
- Using typed lambda calculus to implement formal systems on a machineJournal of Automated Reasoning, 1992
- Higher-order unification with dependent function typesPublished by Springer Nature ,1989
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972