Research

Items by McCusker, Guy

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: 2015 | 2013 | 2012 | 2011 | 2010 | 2008 | 2007 | 2004 | 2003 | 2002
Number of items: 18.

2015

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.

2013

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. 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))

Laird, J., Manzonetto, G. and McCusker, G., 2013. Constructing differential categories and deconstructing categories of games. Information and Computation, 222, pp. 247-264.

2012

McCusker, G., Power, J. and Wingfield, C., 2012. A graphical foundation for schedules. Electronic Notes in Theoretical Computer Science, 286, pp. 273-289.

2011

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)

2010

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.

2008

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.

2007

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., 2007. Categorical semantics of Syntactic Control of Interference Revisited, Revisited. London Mathematical Society Journal of Computation and Mathematics, 10, pp. 176-206.

2004

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)

2003

McCusker, G. and Ghica, D., 2003. The regular-language semantics of second-order Idealized Algol. Theoretical Computer Science, 309 (1-3), pp. 469-502.

2002

This list was generated on Sat Feb 6 15:46:42 2016 GMT.