An equational presentation of higher order logic
- 1 January 1987
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Lambda calculus with constrained typesLecture Notes in Computer Science, 1985
- Locally cartesian closed categories and type theoryMathematical Proceedings of the Cambridge Philosophical Society, 1984
- HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITIONMathematical Logic Quarterly, 1983
- The Category-Theoretic Solution of Recursive Domain EquationsSIAM Journal on Computing, 1982
- Tripos theoryMathematical Proceedings of the Cambridge Philosophical Society, 1980
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972
- Adjointness in FoundationsDialectica, 1969
- On the axiom of extensionality – Part IThe Journal of Symbolic Logic, 1956
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940