deLiguoro:LIENS-96-7 (Technical report)
|
Author(s) | Ugo de' Liguoro |
Title | « PCF Definability via Kripke Logical Relations (after O'Hearn and Riecke) » |
Institution | Laboratoire d'Informatique de l'Ecole Normale Supérieure |
Year | 1996 |
Address | 45 r. d'Ulm 75230 Paris Cedex 05 |
Type | Technical 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:
@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},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)