No photo of Guy McCusker
 

View Scopus Profile

Guy McCusker

Prof

 https://orcid.org/0000-0002-0305-6398

  • 1 WEST 4.54

Accepting Doctoral Students

If you made any changes in Pure these will be visible here soon.
  • 12 Article
  • 7 Chapter or section
  • 4 Chapter in a published conference proceeding
  • 1 Paper
Filter
Chapter in a published conference proceeding

Search results

  • 2018

    On Compositionality of Dinatural Transformations

    McCusker, G. & Santamaria, A., 31 Dec 2018, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Ghica, D. & Jung, A. (eds.). Dagstuhl, Germany: Leibniz International Proceedings in Informatics, Vol. 119. p. 33:1-33:22 22 p. 33. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 119).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    3 Citations (SciVal)
  • 2013

    Weighted relational models of typed Lambda-Calculi

    Laird, J. D., Manzonetto, G., Mccusker, G. & Pagani, M., 1 Jun 2013, 2013 28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS). Los Alamitos, California: IEEE, p. 301-310 10 p. (Annual IEEE/ACM Symposium on Logic in Computer Science (LICS)).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    File
    32 Citations (SciVal)
    259 Downloads (Pure)
  • 2011

    Imperative programs as proofs via game semantics

    Churchill, M., Laird, J. & McCusker, G., 2011, 26th Annual IEEE Symposium on Logic in Computer Science (LICS) 2011. IEEE, p. 65-74 10 p. (Annual Symposium on Logic in Computer Science).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    File
    1 Citation (SciVal)
    178 Downloads (Pure)
  • 1998

    A fully abstract game semantics for general references

    Abramsky, S., Honda, K. & McCusker, G., 1 Jan 1998, Proceedings - 13th Annual IEEE Symposium on Logic in Computer Science, LICS 1998. IEEE, Vol. 1998-June. p. 334-344 11 p.

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    11 Citations (SciVal)