Below is a (very) partial list of my publications, generated automatically by the University's Online Publication Store, Opus.
Please see my hand-maintained list of papers for a slightly bigger list, which is still not up to date. Or just head back to my home page.
Komendantskaya, E., McCusker, G. and Power, J., 2011. Coalgebraic semantics for parallel derivation strategies in logic programming. In: Johnson, M. and Pavlovic, D., eds. Algebraic Methodology and Software Technology. Springer Verlag, pp. 111-127.
Laird, J., Manzonetto, G. and McCusker, G., 2011. Constructing differential categories and deconstructing categories of games. In: Aceto, L., Henzinger, M. and Sgall, J., eds. Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Proceedings. Heidelberg: Springer Verlag, pp. 186-197.
Churchill, M., Laird, J. and McCusker, G., 2011. Imperative programs as proofs via game semantics. In: 2011 IEEE 26th Annual Symposium on Logic in Computer Science. IEEE Computer Society Press, pp. 65-74.
McCusker, G. and Power, J., 2010. Modelling local variables: possible worlds and object spaces. Electronic Notes in Theoretical Computer Science, 265, pp. 389-402.
Calderon, A. and McCusker, G., 2010. Understanding game semantics through coherence spaces. Electronic Notes in Theoretical Computer Science, 265, pp. 231-244.
McCusker, G. A., 2010. A graph model for imperative computation. Logical Methods in Computer Science, 6 (1), Paper 2.
McCusker, G. and Ghica , D., 2008. Foreword for special issue of APAL for GaLoP 2005. Annals of Pure and Applied Logic, 151 (2-3), p. 69.
McCusker, G. and Power, J., 2008. Logic Programs as Coalgebras. In: Proc. CMCS Short Contributions 2008. .
McCusker, G. and Pym, D., 2007. A games model of bunched implications. In: Duparc, J. and Henzinger, T.A., eds. Computer Science Logic: Proceedings of 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL. Berlin, Germany: Springer, pp. 573-588.
McCusker, G., 2007. Categorical semantics of Syntactic Control of Interference Revisited, Revisited. London Mathematical Society Journal of Mathematics and Computation, 10, pp. 176-206.
McCusker, G., 2004. On the semantics of the bad-variable constructor in Algol-like languages. In: Brookes, S. and Panagaden, P., eds. Proceedings, 19th International Conference on the Mathematical Foundations of Programming Semantics, MFPS XIX. Elsevier.
McCusker, G. and Ghica, D., 2003. The regular-language semantics of second-order Idealized Algol. Theoretical Computer Science, 309 (1-3), pp. 469-502.
McCusker, G., 2002. A fully abstract relational model of syntactic control of interference. In: Bradfield, J., ed. Computer Science Logic: Proceedings of 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL. Berlin, Germany: Springer, pp. 445-490.