Research output per year
Research output per year
Research output
- 12 results
Search results
-
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.Research output: Contribution to journal › Article › peer-review
Open AccessFile15 Downloads (Pure) -
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.Research output: Contribution to journal › Article › peer-review
Open AccessFile11 Downloads (Pure) -
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.Research output: Contribution to journal › Article › peer-review
Open AccessFile192 Downloads (Pure) -
2013
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.Research output: Contribution to journal › Article › peer-review
Open AccessFile9 Citations (SciVal)201 Downloads (Pure) -
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.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Citation (SciVal)143 Downloads (Pure) -
2012
A graphical foundation for schedules
McCusker, G., Power, J. & Wingfield, C., 24 Sep 2012, In: Electronic Notes in Theoretical Computer Science. 286, p. 273-289 16 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile19 Citations (SciVal)125 Downloads (Pure) -
2010
A graph model for imperative computation
McCusker, G. A., 12 Jan 2010, In: Logical Methods in Computer Science. 6, 1, 35 p., Paper 2.Research output: Contribution to journal › Article › peer-review
File136 Downloads (Pure) -
Modelling local variables: possible worlds and object spaces
McCusker, G. A. & Power, J., 6 Sep 2010, In: Electronic Notes in Theoretical Computer Science. 265, p. 389-402 14 p.Research output: Contribution to journal › Article › peer-review
File139 Downloads (Pure) -
Understanding game semantics through coherence spaces
Calderon, A. C. & McCusker, G. A., 6 Sep 2010, In: Electronic Notes in Theoretical Computer Science. 265, p. 231-244 14 p.Research output: Contribution to journal › Article › peer-review
File3 Citations (SciVal)145 Downloads (Pure) -
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.Research output: Contribution to journal › Article › peer-review
-
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.Research output: Contribution to journal › Article › peer-review
-
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.Research output: Contribution to journal › Article › peer-review
7 Citations (SciVal)