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

by H P Barendregt