- Towards A Rosetta Stone of Interactive and Quantitative Semantics (Invited Talk) Pierre Clairambault Thu 26 February 2026
- ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States Conrad Cotton-Barratt Andrzej S. Murawski C.-H. Luke Ong Sat 17 August 2019
- LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic Pierre Pradic Colin Riba Mon 02 April 2018
- An Invitation to Game Semantics Andrzej S. Murawski Nikos Tzevelekos Tue 27 June 2017
- Compositional Higher-Order Model Checking via ømega-Regular Games over Böhm Trees Takeshi Tsukada C.-H. Luke Ong Mon 30 March 2015
- Semantics of Interaction Samson Abramsky Fri 27 December 2013
- Asynchronous games 2: the true concurrency of innocence Paul-André Melliès Sun 13 October 2013
- Game semantics and abstract machines V. Danos H. Herbelin L. Regnier Wed 26 June 2013
- Abstract machines for game semantics, revisited Olle Fredriksson Dan R. Ghica Wed 26 June 2013
- Semantique de Jeux et Decidabilite dans PCF Pierre Clairambault Wed 05 June 2013
- Reasoning about Idealized ALGOL Using Regular Languages Dan R. Ghica Guy McCusker Wed 01 May 2013
- Idealized Algol with Ground Recursion, and DPDA Equivalence A.S. Murawski C.-H.L. Ong I. Walukiewicz Wed 01 May 2013
- On Full Abstraction for PCF: I, II, and III J.M.E. Hyland C.-H.L. Ong Tue 29 January 2013
Library Size: 13G (13 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
