Margaria-Zacchi:TR-TU-95a (Technical report)
|
Author(s) | Ines Margaria and Maddalena Zacchi |
Title | « Infinite Intersection Type Theory » |
Institution | Dipartimento di Informatica- Universita' di Torino |
Year | 1995 |
@techreport{Margaria-Zacchi:TR-TU-95a,
title = {Infinite Intersection Type Theory},
author = {Ines Margaria and Maddalena Zacchi},
year = {1995},
institution = {Dipartimento di Informatica- Universita' di Torino},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
