Type assignment in the lambda calculus. Syntax and semantics (1979)

by C B Ben-Yelles