On the adequacy of per models

Abstract : 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.
Type de document :
Rapport
[Research Report] RR-1579, INRIA. 1992
Liste complète des métadonnées

https://hal.inria.fr/inria-00074981
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 17:08:07
Dernière modification le : samedi 17 septembre 2016 - 01:06:49
Document(s) archivé(s) le : mardi 12 avril 2011 - 20:24:48

Fichiers

Identifiants

  • HAL Id : inria-00074981, version 1

Collections

Citation

Roberto M. Amadio. On the adequacy of per models. [Research Report] RR-1579, INRIA. 1992. 〈inria-00074981〉

Partager

Métriques

Consultations de la notice

94

Téléchargements de fichiers

47