( en | de | ru )

 

Disambiguation of "McCusker, Guy"

Author of the publication

copydeleteadd this publication to your clipboard
Imperative Programs as Proofs via Game Semantics.

, , and . LICS, page 65-74. IEEE Computer Society, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Olga Guyot

Thomas Guyet

Karl Guyot

Peter Guyot

Irene Guy

 

Other publications of authors with the same name

Modelling Local Variables: Possible Worlds and Object Spaces., and . MFPS, volume 265 of Electronic Notes in Theoretical Computer Science, page 389-402. Elsevier, (2010)Games and Full Abstraction for the Lazy lambda-Calculus, and . LICS, page 234-243. IEEE Computer Society, (1995)A Fully Abstract Game Semantics for General References., , and . LICS, page 334-344. IEEE Computer Society, (1998)Imperative Programs as Proofs via Game Semantics., , and . LICS, page 65-74. IEEE Computer Society, (2011)On Compositionality of Dinatural Transformations., and . CSL, volume 119 of LIPIcs, page 33:1-33:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Weighted Relational Models of Typed Lambda-Calculi., , , and . LICS, page 301-310. IEEE Computer Society, (2013)The Functional Machine Calculus II: Semantics., , and . CSL, volume 252 of LIPIcs, page 10:1-10:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A Concrete Representation of Observational Equivalence for PCF, , and . CoRR, (2010)Reasoning about Idealized ALGOL Using Regular Languages., and . ICALP, volume 1853 of Lecture Notes in Computer Science, page 103-115. Springer, (2000)Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming., , and . AMAST, volume 6486 of Lecture Notes in Computer Science, page 111-127. Springer, (2010)