Types in lambda calculi and programming languages (0)

by H Barendregt, K Hemerik
Venue:European Symp. on Programming, LNCS 432