Lambda calculi with types. To appear (0)

by H P Barendregt
Venue:in Handbook of Logic in Computer Science