Lambda calculus with types. Handbook of logic in computer science (1992)

by H Barendregt