Journal of Computer and System Sciences
Theoretical Computer Science - Modern algebra and its applications
On full abstraction for PCF: I, II, and III
Information and Computation
Information and Computation
Innocent game models of untyped λ-calculus
Theoretical Computer Science - Special issue on theories of types and proofs
Hereditarily Sequential Functionals
LFCS '94 Proceedings of the Third International Symposium on Logical Foundations of Computer Science
Final Semantics for untyped lambda-calculus
TLCA '95 Proceedings of the Second International Conference on Typed Lambda Calculi and Applications
Game Semantics for Untyped lambda beta eta-Calculus
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
An algebraic interpretation of the lambda beta - calculus and a labeled lambda - calculus
Proceedings of the Symposium on Lambda-Calculus and Computer Science Theory
Games and Full Abstraction for the Lazy Lambda-Calculus
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |
We study models of the untyped lambda calculus in the setting of game semantics. In particular, we show that, in the category of games G, introduced by Abramsky, Jagadeesan and Malacaria, all categorical λ-models can be partitioned in three disjoint classes, and each model in a class induces the same theory (i.e. the set of equations between terms), that are the theory H*, the theory which identifies two terms iff they have the same Böhm tree and the theory which identifies all the terms which have the same LÉvy-Longo tree.