Intersection types for explicit substitutions (2003)

by Stéphane Lengrand , Pierre Lescanne , Dan Dougherty , Mariangiola Dezani-Ciancaglini , Steffen van Bakel
Citations:17 - 6 self