Some lambda calculi with categorical sums and products
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 137-151
- https://doi.org/10.1007/3-540-56868-9_12
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Simulating expansions without expansionsMathematical Structures in Computer Science, 1994
- A confluent reduction for the extensional typed λ-calculus with pairs, sums, recursion and terminal objectPublished by Springer Nature ,1993
- A confluent reduction for the λ-calculus with surjective pairing and terminal objectPublished by Springer Nature ,1991
- Unique normal forms for lambda calculus with surjective pairingInformation and Computation, 1989
- On the implementation of abstract data types by programming language constructsJournal of Computer and System Sciences, 1987
- Diagonal arguments and cartesian closed categoriesPublished by Springer Nature ,1969
- Intensional interpretations of functionals of finite type IThe Journal of Symbolic Logic, 1967