|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| BarDezdeV:PROCOMET-98 (In proceedings) | |
| Author(s) | Franco Barbanera, Mariangiola Dezani-Ciancaglini and Fer-Jan de Vries |
| Title | « Types for Trees » |
| In | Proceedings of PROCOMET '98 |
| Page(s) | 11-29 |
| Year | 1998 |
| Publisher | Chapman & Hall, London |
| URL | http://www.di.unito.it/~dezani/papers/3.ps |
| BibTeX code |
@inproceedings{BarDezdeV:PROCOMET-98,
booktitle = {Proceedings of PROCOMET '98},
url = {http://www.di.unito.it/~dezani/papers/3.ps},
title = {{Types for Trees}},
author = {Franco Barbanera and Mariangiola Dezani-Ciancaglini and Fer-Jan de
Vries},
publisher = {Chapman \& Hall, London},
year = {1998},
pages = {11-29},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)