Lambda calculi with types. Pages 117–309 of: Abramsky (1992)

by Henk Barendregt
Venue:eds), Handbook of Logic in Computer Science: Background - Computational Structures (Volume 2