The Type Free Lambda Calculus
- 1 January 1977
- book chapter
- Published by Elsevier
- p. 1091-1132
- https://doi.org/10.1016/s0049-237x(08)71129-7
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Topos theory and complex analysisJournal of Pure and Applied Algebra, 1977
- Colimits in TopoiBulletin of the American Mathematical Society, 1974
- The meeting of the Midwest Category Seminar in Zurich August 24–30, 1970Published by Springer Nature ,1971