Lambda calculi with types, in (1992)

by H P Barendregt
Venue:Maibaum (Eds.), Handbook of Logic in Computer Science