Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00074981
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 5:08:07 PM
Last modification on : Thursday, February 11, 2021 - 2:48:31 PM
Long-term archiving on: : Tuesday, April 12, 2011 - 8:24:48 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

105

Files downloads

121