We present a simple strongly universal innocent game model for Levy-Longo trees, i.e. every point in the model is the denotation of a unique Levy-Longo tree. The observational quotient of the model then gives a universal, and hence fully abstract, model of the pure Lazy Lambda Calculus.
Games characterizing Levy-Longo trees
DI GIANANTONIO, Pietro
2004-01-01
Abstract
We present a simple strongly universal innocent game model for Levy-Longo trees, i.e. every point in the model is the denotation of a unique Levy-Longo tree. The observational quotient of the model then gives a universal, and hence fully abstract, model of the pure Lazy Lambda Calculus.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
game_characterizing_levy_longo_trees.pdf
non disponibili
Tipologia:
Altro materiale allegato
Licenza:
Non pubblico
Dimensione
340.37 kB
Formato
Adobe PDF
|
340.37 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
