Typed categorical combinatory logic
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 157-172
- https://doi.org/10.1007/3-540-15198-2_10
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Aspects of higher order categorical logicPublished by American Mathematical Society (AMS) ,1984
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964