The principal type-scheme of an object in combinatory logic (1969)

by R Hindley
Venue:Transactions of the American Mathematical Society