Lambda calculi with types. (1991)

by H P BARENDREGT
Venue:In Handbook of Logic in Computer Science.