Extended type structure and filter lambda models (1984)

by M Coppo, M Dezani-Ciancaglini, F Honsell, G Longo
Venue:Logic Colloquium ’82