Intersection types for explicit substitutions (2004)

by S Lengrand, P Lescanne, D Dougherty, M Dezani-Ciancaglini, S van Bakel
Venue:In ICALP Satellite Workshops