The principal type scheme of am object in combinatory logic (1979)

by R Hindley
Venue:Transactions of the American Mathematics Society