Publications
2026
Interaction Improvement
Lancelot, A., Manzonetto, G., McCusker, G. & Vanoni, G., 29 Apr 2026. (Acceptance date). 44 p.
2023
An Axiomatic Account of a Fully Abstract Game Semantics for General References
Laird, J. & McCusker, G., 2 Aug 2023. Samson Abramsky on Logic and Structure in Computer Science and Beyond. Palmigiano, A. & Sadrzadeh, M. (eds.). Cham, Switzerland: Springer, Cham, p. 251-292 42 p. (Outstanding Contributions to Logic; vol. 25).
The Functional Machine Calculus II: Semantics
Barrett, C., Heijltjes, W. & McCusker, G., 3 Feb 2023. 18 p.
2021
Composing dinatural transformations: Towards a calculus of substitution
McCusker, G. & Santamaria, A., 31 Oct 2021. In: Journal of Pure and Applied Algebra. 225, 10, 57 p., 106689.
2019
A History Based Logic for Dynamic Preference Updates
McCusker, G. & Baskent, C., 12 Nov 2019. In: Journal of Logic, Language and Information. p. 1-31 31 p.
2018
On Compositionality of Dinatural Transformations
McCusker, G. & Santamaria, A., 31 Dec 2018. 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Ghica, D. & Jung, A. (eds.). Dagstuhl, Germany: Leibniz International Proceedings in Informatics, Vol. 119. p. 33:1-33:22 22 p. 33. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 119).
2016
A Logic for the Compliance Budget
Anderson, G., McCusker, G. & Pym, D., 2016. Proceedings, GameSec 2016- Decision and Game Theory for Security: 7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016. Zhu, Q., Alpcan, T., Panaousis, E., Tambe, M. & Casey, W. (eds.). Springer Verlag, p. 370-381 (Lecture Notes in Computer Science; vol. 9996).
2015
A graphical foundation for interleaving in game semantics
McCusker, G., Power, J. & Wingfield, C., 1 Apr 2015. In: Journal of Pure and Applied Algebra. 219, 4, p. 1131-1174 44 p.
2013
Imperative programs as proofs via game semantics
Churchill, M., Laird, J. & McCusker, G., Nov 2013. In: Annals of Pure and Applied Logic. 164, 11, p. 1038-1078 41 p.
Weighted relational models of typed Lambda-Calculi
Laird, J. D., Manzonetto, G., Mccusker, G. & Pagani, M., 1 Jun 2013. 2013 28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS). Los Alamitos, California: IEEE, p. 301-310 10 p. (Annual IEEE/ACM Symposium on Logic in Computer Science (LICS)).
Constructing differential categories and deconstructing categories of games
Laird, J., Manzonetto, G. & McCusker, G., Jan 2013. In: Information and Computation. 222, p. 247-264 18 p.
2012
A graphical foundation for schedules
McCusker, G., Power, J. & Wingfield, C., 24 Sept 2012. In: Electronic Notes in Theoretical Computer Science. 286, p. 273-289 16 p.
2011
Constructing differential categories and deconstructing categories of games
Laird, J., Manzonetto, G. & McCusker, G., 2011. Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Proceedings. Aceto, L., Henzinger, M. & Sgall, J. (eds.). Heidelberg, Germany: Springer, p. 186-197 12 p. (Lecture Notes in Computer Science; vol. 6756).
Coalgebraic semantics for parallel derivation strategies in logic programming
Komendantskaya, E., McCusker, G. & Power, J., 2011. Algebraic Methodology and Software Technology. Johnson, M. & Pavlovic, D. (eds.). Springer, Vol. 6486. p. 111-127 17 p. (Lecture Notes in Computer Science).
Imperative programs as proofs via game semantics
Churchill, M., Laird, J. & McCusker, G., 2011. 26th Annual IEEE Symposium on Logic in Computer Science (LICS) 2011. IEEE, p. 65-74 10 p. (Annual Symposium on Logic in Computer Science).
2010
Understanding game semantics through coherence spaces
Calderon, A. C. & McCusker, G. A., 6 Sept 2010. In: Electronic Notes in Theoretical Computer Science. 265, p. 231-244 14 p.
Modelling local variables: possible worlds and object spaces
McCusker, G. A. & Power, J., 6 Sept 2010. In: Electronic Notes in Theoretical Computer Science. 265, p. 389-402 14 p.
A graph model for imperative computation
McCusker, G. A., 12 Jan 2010. In: Logical Methods in Computer Science. 6, 1, 35 p., Paper 2.
2008
Logic Programs as Coalgebras
McCusker, G. & Power, J., 2008. Proc. CMCS Short Contributions 2008.
Foreword for special issue of APAL for GaLoP 2005
McCusker, G. & Ghica, D., 2008. In: Annals of Pure and Applied Logic. 151, 2-3, p. 69-69 1 p.
2007
Categorical semantics of Syntactic Control of Interference Revisited, Revisited
McCusker, G., 2007. In: London Mathematical Society Journal of Computation and Mathematics. 10, p. 176-206 31 p.
A games model of bunched implications
McCusker, G. & Pym, D., 2007. Computer Science Logic: Proceedings of 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings. Duparc, J. & Henzinger, T. A. (eds.). Berlin, Germany: Springer, Vol. 4646. p. 573-588 16 p. (Lecture Notes in Computer Science).
2004
On the semantics of the bad-variable constructor in Algol-like languages
McCusker, G., Mar 2004. Proceedings, 19th International Conference on the Mathematical Foundations of Programming Semantics, MFPS XIX. Brookes, S. & Panagaden, P. (eds.). Elsevier, Vol. 83. (Electronic Notes in Theoretical Computer Science).
2003
The regular-language semantics of second-order Idealized Algol
McCusker, G. & Ghica, D., 2003. In: Theoretical Computer Science. 309, 1-3, p. 469-502 34 p.
2002
A fully abstract relational model of syntactic control of interference
McCusker, G., 2002. Computer Science Logic: Proceedings of 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL. Bradfield, J. (ed.). Berlin, Germany: Springer, Vol. 2471. p. 247-261.
1998
A fully abstract game semantics for general references
Abramsky, S., Honda, K. & McCusker, G., 1 Jan 1998. Proceedings - 13th Annual IEEE Symposium on Logic in Computer Science, LICS 1998. IEEE, Vol. 1998-June. p. 334-344 11 p.