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

by R Hindley
Venue:Trans. American Mathematical Society