Types in lambda calculi and programming languages (1990)

by H Barendregt, K Henierik
Venue:In Proceeding of ESOP 90