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:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
