Extended type structures and lambda models (1984)

by M Coppo, M Dezani-Ciancaglini, F Honsell, G Longo
Venue:In Logic colloquium '82