Intersection types for explicit substitutions

• 作者Stéphane Lengrand; Pierre Lescanne; Dan Dougherty; Mariangiola Dezani-Ciancaglini; Steffen van Bakel
• 卷第189卷
• 期第1期
• 印刷ISSN0890-5401
• 电子ISSN1090-2651
• 文件大小297.47KB
• 发表时间2004
• DOI10.1016/j.ic.2003.09.004
• 页码17-42