Games and full completeness for multiplicative linear logic
Journal of Symbolic Logic
Games and full abstraction for FPC
Information and Computation - Special issue: LICS 1996—Part 1
On full abstraction for PCF: I, II, and III
Information and Computation
Information and Computation
A Predicative Strong Normalisation Proof for a lambda-Calculus with Interleaving Inductive Types
TYPES '99 Selected papers from the International Workshop on Types for Proofs and Programs
Semantics of Interaction (Abstract)
CAAP '96 Proceedings of the 21st International Colloquium on Trees in Algebra and Programming
A Fully Abstract Game Semantics for General References
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Classical isomorphisms of types
Mathematical Structures in Computer Science
Categorical Combinatorics for Innocent Strategies
LICS '07 Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science
Least and greatest fixed points in linear logic
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Least and Greatest Fixed Points in Linear Logic
ACM Transactions on Computational Logic (TOCL)
Game semantics for a polymorphic programming language
Journal of the ACM (JACM)
Hi-index | 0.00 |
We show how solutions to many recursive arena equations can be computed in a natural way by allowing loops in arenas. We then equip arenas with winning functions and total winning strategies. We present two natural winning conditions compatible with the loop construction which respectively provide initial algebras and terminal coalgebras for a large class of continuous functors. Finally, we introduce an intuitionistic sequent calculus, extended with syntactic constructions for least and greatest fixed points, and prove it has a sound and (in a certain weak sense) complete interpretation in our game model.