Types in lambda calculi and programming languages (1990)

by Henk Barendregt, Kees Hemerik
Venue:of Lecture Notes in Computer Science