If you made any changes in Pure these will be visible here soon.
Filter
Chapter or section

Search results

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

    Research output: Chapter or section in a book/report/conference proceedingChapter or section

    Open Access
    File
    1 Citation (SciVal)
    160 Downloads (Pure)
  • 2011

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

    Research output: Chapter or section in a book/report/conference proceedingChapter or section

    Open Access
    File
    4 Citations (SciVal)
    175 Downloads (Pure)
  • 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).

    Research output: Chapter or section in a book/report/conference proceedingChapter or section

    Open Access
    File
    1 Citation (SciVal)
    121 Downloads (Pure)
  • 2008

    Logic Programs as Coalgebras

    McCusker, G. & Power, J., 2008, Proc. CMCS Short Contributions 2008.

    Research output: Chapter or section in a book/report/conference proceedingChapter or section

  • 2007

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

    Research output: Chapter or section in a book/report/conference proceedingChapter or section

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

    Research output: Chapter or section in a book/report/conference proceedingChapter or section

  • 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

    Research output: Chapter or section in a book/report/conference proceedingChapter or section

    1 Citation (SciVal)