Progress report on generalized functionality
- 1 November 1979
- journal article
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 17 (1-2) , 29-59
- https://doi.org/10.1016/0003-4843(79)90020-2
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- A sequent calculus for type assignmentThe Journal of Symbolic Logic, 1977
- Intensional interpretations of functionals of finite type IThe Journal of Symbolic Logic, 1967