| coppo_et_al:LIPIcs:2014:4629 (In proceedings)
|
| Author(s) | Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria and Maddalena Zacchi |
| Title | « Isomorphism of "Functional" Intersection Types » |
| In | 19th International Conference on Types for Proofs and Programs (TYPES 2013) |
| Series | Leibniz International Proceedings in Informatics (LIPIcs) |
| Editor(s) | Ralph Matthes and Aleksy Schubert |
| Volume | 26 |
| Page(s) | 129--149 |
| Year | 2014 |
| Publisher | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik |
| Address | Dagstuhl, Germany |
| ISBN number | 978-3-939897-72-9 |
| ISSN number | 1868-8969 |
| URL | http://drops.dagstuhl.de/opus/volltexte/2014/4629 |
Keywords: Type Isomorphism, Lambda calculus, Intersection Types
@inproceedings{coppo_et_al:LIPIcs:2014:4629,
author = {Mario Coppo and Mariangiola Dezani-Ciancaglini and Ines Margaria and
Maddalena Zacchi},
issn = {1868-8969},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
editor = {Ralph Matthes and Aleksy Schubert},
url = {http://drops.dagstuhl.de/opus/volltexte/2014/4629},
isbn = {978-3-939897-72-9},
address = {Dagstuhl, Germany},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
doi = {http://dx.doi.org/10.4230/LIPIcs.TYPES.2013.129},
annote = {Keywords: Type Isomorphism, Lambda calculus, Intersection Types},
volume = {26},
booktitle = {19th International Conference on Types for Proofs and Programs
(TYPES 2013)},
urn = {urn:nbn:de:0030-drops-46296},
title = {{Isomorphism of "Functional" Intersection Types}},
year = {2014},
pages = {129--149},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
