The calculus of constructions
- 1 February 1988
- journal article
- Published by Elsevier BV in Information and Computation
- Vol. 76 (2-3), 95-120
- https://doi.org/10.1016/0890-5401(88)90005-3
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Strong Normalization in a Typed Lambda Calculus with Lambda Structured TypesPublished by Elsevier BV ,1994
- Aspects of higher order categorical logicContemporary Mathematics, 1984
- Semantics for classical AUTOMATH and related systemsInformation and Control, 1983
- Progress report on generalized functionalityAnnals of Mathematical Logic, 1979
- A unification algorithm for typedTheoretical Computer Science, 1975
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972
- On a generalized logic calculusJapanese journal of mathematics :transactions and abstracts, 1953
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940
- A Set of Postulates for the Foundation of LogicAnnals of Mathematics, 1932