10 results
Dynamic game semantics
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 8 / September 2020
- Published online by Cambridge University Press:
- 18 December 2020, pp. 892-951
-
- Article
- Export citation
5 - Operational theories and categorical quantum mechanics
-
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp 88-122
-
- Chapter
- Export citation
Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 5 / June 2017
- Published online by Cambridge University Press:
- 23 July 2015, pp. 751-761
-
- Article
- Export citation
1 - No-Cloning in Categorical Quantum Mechanics
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 1-28
-
- Chapter
- Export citation
Quantales, observational logic and process semantics
-
- Journal:
- Mathematical Structures in Computer Science / Volume 3 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 04 March 2009, pp. 161-227
-
- Article
- Export citation
A categorical quantum logic
-
- Journal:
- Mathematical Structures in Computer Science / Volume 16 / Issue 3 / June 2006
- Published online by Cambridge University Press:
- 04 July 2006, pp. 469-489
-
- Article
- Export citation
Sequentiality vs. concurrency in games and logic
-
- Journal:
- Mathematical Structures in Computer Science / Volume 13 / Issue 4 / August 2003
- Published online by Cambridge University Press:
- 31 July 2003, pp. 531-565
-
- Article
- Export citation
Geometry of Interaction and linear combinatory algebras
-
- Journal:
- Mathematical Structures in Computer Science / Volume 12 / Issue 5 / October 2002
- Published online by Cambridge University Press:
- 24 October 2002, pp. 625-665
-
- Article
- Export citation
Semantics of Interaction: an Introduction to Game Semantics
-
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp 1-32
-
- Chapter
- Export citation
Games and full completeness for multiplicative linear logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 2 / June 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 543-574
- Print publication:
- June 1994
-
- Article
- Export citation