DDGT09 (Article)
|
Author(s) | Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti and Makoto Tatsuta |
Title | « On Isomorphisms of Intersection Types » |
Journal | ACM ToCL |
Volume | 11 |
Number | 4 |
Page(s) | 1--22 |
Year | 2010 |
URL | http://www.di.unito.it/~dezani/papers/ddgtTOCL.pdf |
@article{DDGT09,
number = {4},
volume = {11},
author = {Mariangiola Dezani-Ciancaglini and Di Cosmo, Roberto and Elio
Giovannetti and Makoto Tatsuta},
url = {http://www.di.unito.it/~dezani/papers/ddgtTOCL.pdf},
title = {{On Isomorphisms of Intersection Types}},
year = {2010},
pages = {1--22},
journal = {ACM ToCL},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)