 |
|
|
|
| HAL : inria-00074981, version 1 |
| Voir la fiche détaillée |  BibTeX,EndNote,... |
|
|
|
|
| On the adequacy of per models |
|
|
| Roberto M. Amadio 1 |
|
|
| (1992) |
|
|
|
| In this note we consider a fixed point extension of the second order lambda calculus equipped with a call by value evaluation mechanism. We interpret the language in a partial cartesian closed category of "directed complete" partial equivalence relations (pers) over a domain theoretic model of a type-free, call-by-value, lambda calculus. Our main result is that the notions of "syntactic" and "semantic" convergence coincide. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | INRIA Lorraine (INRIA Lorraine) |
|
|
|
INRIA |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Autre |
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| inria-00074981, version 1 | |
| http://hal.inria.fr/inria-00074981 | |
| oai:hal.inria.fr:inria-00074981 | |
| Contributeur : Rapport De Recherche Inria | |
| Soumis le : Mercredi 24 Mai 2006, 17:08:07 | |
| Dernière modification le : Lundi 22 Janvier 2007, 17:24:02 | |
