The Principle Type-Scheme of an Object in Combinatory Logic
Transactions of the American Mathematical Society - United States
doi 10.1090/s0002-9947-1969-0253905-6
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 1969
Authors
Publisher
American Mathematical Society (AMS)