Games characterizing Levy-Longo trees
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.
scientific article; zbMATH DE number 2110973