Title of article
Intersection types for explicit substitutions
Author/Authors
Stephane Lengrand، نويسنده , , Pierre Lescanne، نويسنده , , Dan Dougherty، نويسنده , , Mariangiola Dezani-Ciancaglini، نويسنده , , Steffen van Bakel، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
26
From page
17
To page
42
Journal title
Information and Computation
Serial Year
2004
Journal title
Information and Computation
Record number
262212
Link To Document