|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
FRAMES NO FRAME |
pravato98 (Miscellaneous document) | |
Author(s) | Alberto Pravato, Olivier Bastonero and Simona Ronchi Della Rocca |
Title | « Structures for Lazy Semantics » |
Year | 1997 |
URL | http://www.logique.jussieu.fr/www.bastoner/lazy-main.ps.gz |
BibTeX code |
@misc{pravato98,
month = {jan~13},
url = {http://www.logique.jussieu.fr/www.bastoner/lazy-main.ps.gz},
author = {Alberto Pravato and Olivier Bastonero and Ronchi Della Rocca,
Simona},
title = {Structures for Lazy Semantics},
year = {1997},
}
|
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)