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