tipoW-Dezani-Lusin:WIT:02 (In proceedings)
|
Author(s) | Mariangiola Dezani-Ciancaglini and Stefania Lusin |
Title | « Intersection Types and Lambda Theories » |
In | Electronic Proceedings of WIT'02 (http://www.irit.fr/zeno/WIT2002/proceedings.shtml) |
Year | 2002 |
URL | http://www.di.unito.it/~dezani/papers/wit02.pdf |
@inproceedings{tipoW-Dezani-Lusin:WIT:02,
booktitle = {Electronic Proceedings of WIT'02
(http://www.irit.fr/zeno/WIT2002/proceedings.shtml)},
url = {http://www.di.unito.it/~dezani/papers/wit02.pdf},
title = {{Intersection Types and Lambda Theories}},
author = {Mariangiola Dezani-Ciancaglini and Stefania Lusin},
year = {2002},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)