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

by J Roger Hindley
Venue:Transactions American Math. Society