Logical Frameworks
- 1 January 2001
- book chapter
- Published by Elsevier
- p. 1063-1147
- https://doi.org/10.1016/b978-044450813-3/50019-9
Abstract
No abstract availableThis publication has 28 references indexed in Scilit:
- On the unity of logicAnnals of Pure and Applied Logic, 1993
- Implementing tactics and tacticals in a higher-order logic programming languageJournal of Automated Reasoning, 1993
- Logic Programming with Focusing Proofs in Linear LogicJournal of Logic and Computation, 1992
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992
- Telescopic mappings in typed lambda calculusInformation and Computation, 1991
- Linear logicTheoretical Computer Science, 1987
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972
- Some properties of conversionTransactions of the American Mathematical Society, 1936
- Untersuchungen ber das logische Schlie en. IIMathematische Zeitschrift, 1935
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935