A typed lambda calculus with categorical type constructors
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 140-157
- https://doi.org/10.1007/3-540-18508-9_24
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- The Category-Theoretic Solution of Recursive Domain EquationsSIAM Journal on Computing, 1982
- Algebraic specification of data types: A synthetic approachTheory of Computing Systems, 1981
- Edinburgh LCFLecture Notes in Computer Science, 1979
- Metamathematical Investigation of Intuitionistic Arithmetic and AnalysisPublished by Springer Nature ,1973
- Combinators, λ-Terms and Proof TheoryPublished by Springer Nature ,1972
- Intensional interpretations of functionals of finite type IThe Journal of Symbolic Logic, 1967