Types in Lambda Calculi and Programming Languages, University of Nijmegen TR (1990)

by H Barendregt, K Hemerik