Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

deLiguoro:LIENS-96-7 (Technical report)
Author(s) Ugo de' Liguoro
Title« PCF Definability via Kripke Logical Relations (after O'Hearn and Riecke) »
InstitutionLaboratoire d'Informatique de l'Ecole Normale Supérieure
Year1996
Address45 r. d'Ulm 75230 Paris Cedex 05
TypeTechnical Report
Abstract
Kripke logical relations have been used by O'Hearn and Riecke to construct a fully abstract model of PCF. Such a construction is presented here in the concrete setting of Jung and Tyurin's Krikpe logical relations, avoiding any essential commitment with category theory and making the relation with Sieber's previous work on PCF definability apparent.

Download the complete article: Kripke.ps

BibTeX code

@techreport{deLiguoro:LIENS-96-7,
  author = {Ugo de' Liguoro},
  title = {PCF Definability via {K}ripke {L}ogical {R}elations (after {O'H}earn
           and {R}iecke)},
  abstract = {Kripke logical relations have been used by O'Hearn and Riecke to
              construct a fully abstract model of PCF. Such a construction is
              presented here in the concrete setting of Jung and Tyurin's Krikpe
              logical relations, avoiding any essential commitment with category
              theory and making the relation with Sieber's previous work on PCF
              definability apparent.},
  address = {45 r. d'Ulm 75230 Paris Cedex 05},
  localfile = {http://www.di.unito.it/~deligu/papers/Kripke.ps},
  type = {Technical Report},
  institution = {Laboratoire d'Informatique de l'Ecole Normale Sup\'erieure},
  year = {1996},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!