The forest of lambda calculi with types. Talk given at the Workshop on Semantics of Lambda Calculus and Category Theory (1988)

by Henk Barendregt
Venue:Carnegie Mellon University