# Items by McCusker, Guy

Up a level |

Jump to: Articles | Conference or Workshop Items

Number of items:

**18**.## Articles

McCusker, G., Power, J. and Wingfield, C., 2015. A graphical foundation for interleaving in game semantics.

*Journal of Pure and Applied Algebra*, 219 (4), pp. 1131-1174.Churchill, M., Laird, J. and McCusker, G., 2013. Imperative programs as proofs via game semantics.

*Annals of Pure and Applied Logic*, 164 (11), pp. 1038-1078.Laird, J., Manzonetto, G. and McCusker, G., 2013. Constructing differential categories and deconstructing categories of games.

*Information and Computation*, 222, pp. 247-264.McCusker, G., Power, J. and Wingfield, C., 2012. A graphical foundation for schedules.

*Electronic Notes in Theoretical Computer Science*, 286, pp. 273-289.McCusker, G. A. and Power, J., 2010. Modelling local variables: possible worlds and object spaces.

*Electronic Notes in Theoretical Computer Science*, 265, pp. 389-402.Calderon, A. C. and McCusker, G. A., 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., 2007. Categorical semantics of Syntactic Control of Interference Revisited, Revisited.

*London Mathematical Society Journal of Computation and Mathematics*, 10, pp. 176-206.McCusker, G. and Ghica, D., 2003. The regular-language semantics of second-order Idealized Algol.

*Theoretical Computer Science*, 309 (1-3), pp. 469-502.## Conference or Workshop Items

Laird, J. D., Manzonetto, G., Mccusker, G. and Pagani, M., 2013. Weighted relational models of typed Lambda-Calculi.

*In*:*2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013)*, 2013-06-25 - 2013-06-28, New Orleans, LA, USA. Los Alamitos, California: IEEE, pp. 301-310. (Annual IEEE/ACM Symposium on Logic in Computer Science (LICS))Komendantskaya, E., McCusker, G. and Power, J., 2011. Coalgebraic semantics for parallel derivation strategies in logic programming. Springer, pp. 111-127. (Lecture Notes in Computer Science)

Laird, J., Manzonetto, G. and McCusker, G., 2011. Constructing differential categories and deconstructing categories of games. Heidelberg, Germany: Springer, pp. 186-197. (Lecture Notes in Computer Science; 6756)

Churchill, M., Laird, J. and McCusker, G., 2011. Imperative programs as proofs via game semantics. IEEE, pp. 65-74. (Annual Symposium on Logic in Computer Science)

McCusker, G. and Pym, D., 2007. A games model of bunched implications. Berlin, Germany: Springer, pp. 573-588. (Lecture Notes in Computer Science)

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 Mathematical Foundations of Programming Languages*, 2004-03-01. Elsevier. (Electronic Notes in Theoretical Computer Science)McCusker, G., 2002. A fully abstract relational model of syntactic control of interference. Berlin, Germany: Springer, pp. 445-490.