Formal Methods in Computing(Most of the papers antecedent to 1995are not included in the list) FRAMES  NO FRAME

 paolini03cometa (In proceedings) Author(s) Luca Paolini and Simona Ronchi Della Rocca Title « Lazy Logical Semantics » In Proceedings of COMETA Series Electronic Notes in Theoretical Computer Science Volume 104C Page(s) 235--251 Year 2004 Publisher Elsevier, Netherlands ISSN number 1571-0661 URL http://www.di.unito.it/~ronchi/papers/lazy.pdf
 Abstract The lazy evaluation of the $\lambda$-calculus, both in call-by-name and in call-by-value setting, is studied. Starting from a logical descriptions of two topological models of such calculi, a pre-order relation on terms, stratified by types, is defined, which grasps exactly the two operational semantics we want to model. Such a relation can be used for building two fully abstract models.

 BibTeX code

@inproceedings{paolini03cometa,
volume = {104C},
issn = {1571-0661},
author = {Paolini, Luca and Ronchi Della Rocca, Simona},
series = {Electronic Notes in Theoretical Computer Science},
booktitle = {Proceedings of COMETA},
url = {http://www.di.unito.it/~ronchi/papers/lazy.pdf},
abstract = {The lazy evaluation of the $\lambda$-calculus, both in
call-by-name and in call-by-value setting, is studied. Starting
from a logical descriptions of two topological models of such
calculi, a pre-order relation on terms, stratified by types, is
defined, which grasps exactly the two operational semantics we
want to model. Such a relation can be used for building two fully
abstract models. },
title = {Lazy Logical Semantics},
localfile = {http://www.di.unito.it/~paolini/papers/lls04.pdf},
tag = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier, Netherlands},
year = 2004,
pages = {235--251},
}

 Formal Methods in Computing(Most of the papers antecedent to 1995are 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)