|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| Len+Les+Dou+Dez+Bak:IC-2003 (Article) | |
| Author(s) | Stéphane Lengrand, Pierre Lescanne, Dan Dougherty, Mariangiola Dezani-Ciancaglini and Steffen van Bakel |
| Title | « Intersection Types for Explicit Substitutions » |
| Journal | Information and Computation |
| Volume | 189 |
| Number | 1 |
| Page(s) | 17--42 |
| Year | 2004 |
| URL | http://www.di.unito.it/~dezani/papers/IaC.pdf |
| BibTeX code |
@article{Len+Les+Dou+Dez+Bak:IC-2003,
volume = {189},
number = {1},
author = {{St\'ephane} Lengrand and Pierre Lescanne and Dan Dougherty and
Mariangiola Dezani-Ciancaglini and Steffen van Bakel},
url = {http://www.di.unito.it/~dezani/papers/IaC.pdf},
title = {{Intersection Types for Explicit Substitutions}},
pages = {17--42},
year = {2004},
journal = {Information and Computation},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)