Types in Lambda calculi and programming languages (1990)

by H P Barendregt, C Hemerik
Venue:Proceedings of the ESOP conference, Copenhagen