On the adequacy of per models - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1992

On the adequacy of per models

Roberto M. Amadio


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.


Other [cs.OH]
Fichier principal
Vignette du fichier
RR-1579.pdf (1003.49 Ko) Télécharger le fichier

Dates and versions

inria-00074981 , version 1 (24-05-2006)


  • HAL Id : inria-00074981 , version 1


Roberto M. Amadio. On the adequacy of per models. [Research Report] RR-1579, INRIA. 1992. ⟨inria-00074981⟩
21 View
26 Download


Gmail Facebook Twitter LinkedIn More