**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. |

Download the complete article:

```
@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},
}
```

This document was generated by bib2html 3.3.

(Modified by Luca Paolini, under the GNU General Public License)