The Principal Type-Scheme of an Object in Combinatory Logic (1969)

by R Hindley
Venue:Transactions of the American Mathematical Society