Liqu-Ronc:ENTCS-04 (In proceedings)
|
Author(s) | Luigi Liquori and Simona Ronchi Della Rocca |
Title | « Towards an Intersection Typed System a la Church » |
In | ITRS'04 |
Volume | 136 |
Page(s) | 43-56 |
Year | 2005 |
Publisher | Electronic Notes in Theoretical Computer Science |
ISSN number | 1571-0661 |
URL | http://www.di.unito.it/~ronchi/papers/itrs-liquori-ronchi.pdf |
@inproceedings{Liqu-Ronc:ENTCS-04,
volume = {136},
issn = {1571-0661},
author = {Liquori, Luigi and Ronchi Della Rocca, Simona},
booktitle = {ITRS'04},
url = {http://www.di.unito.it/~ronchi/papers/itrs-liquori-ronchi.pdf},
title = {Towards an Intersection Typed System a la Church },
tag = {ITRS'04},
publisher = {Electronic Notes in Theoretical Computer Science},
pages = {43-56},
year = 2005,
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)