CDMZ15 (In proceedings)
|
Author(s) | Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria and Maddalena Zacchi |
Title | « On Isomorphism of ``Functional'' Intersection and Union Types » |
In | ITRS'14 |
Series | EPTCS |
Editor(s) | Jacob Reholf |
Volume | 177 |
Page(s) | 53-64 |
Year | 2015 |
URL | http://www.di.unito.it/~dezani/papers/cdmz14.pdf |
@inproceedings{CDMZ15,
volume = {177},
author = {Mario Coppo and Mariangiola Dezani-Ciancaglini and Ines Margaria and
Maddalena Zacchi},
series = {EPTCS},
booktitle = {ITRS'14},
editor = {Jacob Reholf},
url = {http://www.di.unito.it/~dezani/papers/cdmz14.pdf},
title = {On Isomorphism of ``Functional'' Intersection and Union Types},
doi = {10.4204/EPTCS.177},
year = {2015},
pages = {53-64},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)