Games characterizing Levy-Longo trees (Q1884875)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Games characterizing Levy-Longo trees |
scientific article |
Statements
Games characterizing Levy-Longo trees (English)
0 references
27 October 2004
0 references
A simple \textit{strongly universal} innocent game model for Lévy-Longo trees is presented: every point in the model is the denotation of a unique Lévy-Longo tree. The observational quotient of the model then gives a universal, and hence fully abstract, model of the pure Lazy Lambda Calculus.
0 references
game semantics
0 references
Lambda calculus
0 references
arenas
0 references
universality
0 references
full abstraction
0 references
