The principle type-scheme of an object in combinatory logic
Open Access
- 1 January 1969
- journal article
- Published by American Mathematical Society (AMS) in Transactions of the American Mathematical Society
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 2 references indexed in Scilit:
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- Recursive objects in all finite typesFundamenta Mathematicae, 1964