The Principal Type-Scheme of an Object in Combinatory Logic

• 1 December 1969
• journal article
• Published by JSTOR in Transactions of the American Mathematical Society
• Vol. 146, 29
• https://doi.org/10.2307/1995158

Abstract