Lambda calculi with types. In: (1991)

by H P Barendregt
Venue:Handbook of Logic in Computer Science. Volume 2. Oxford