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

by Ben-Yelles