Guy McCusker

From MaRDI portal
Person:276480

Available identifiers

zbMath Open mccusker.guy-andrewMaRDI QIDQ276480

List of research outcomes





PublicationDate of PublicationType
An axiomatic account of a fully abstract game semantics for general references2024-10-01Paper
The functional machine calculus II: semantics2024-09-25Paper
On Compositionality of Dinatural Transformations2022-05-28Paper
Composing dinatural transformations: towards a calculus of substitution2021-06-09Paper
A history based logic for dynamic preference updates2020-10-28Paper
Weighted relational models of typed lambda-calculi2017-07-03Paper
A Graphical Foundation for Schedules2016-07-08Paper
Understanding game semantics through coherence spaces2016-07-08Paper
Modelling local variables: possible worlds and object spaces2016-07-08Paper
On the semantics of the bad-variable constructor in Algol-like languages2016-05-03Paper
A graphical foundation for interleaving in game semantics2014-12-05Paper
Imperative programs as proofs via game semantics2013-12-19Paper
Constructing differential categories and deconstructing categories of games2013-06-06Paper
Categorical models of syntactic control of intereference revisited, revisited2011-09-15Paper
Constructing Differential Categories and Deconstructing Categories of Games2011-07-07Paper
Coalgebraic semantics for parallel derivation strategies in logic programming2011-01-21Paper
A graph model for imperative computation2010-03-15Paper
A Games Model of Bunched Implications2009-03-05Paper
The regular-language semantics of second-order idealized ALGOL2004-10-27Paper
https://portal.mardi4nfdi.de/entity/Q44118272003-07-10Paper
Games and full abstraction for FPC.2003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q27541372001-12-06Paper
https://portal.mardi4nfdi.de/entity/Q42638302001-05-28Paper
Full abstraction for idealized Algol with passive expressions2000-08-23Paper
https://portal.mardi4nfdi.de/entity/Q42310311999-03-09Paper
https://portal.mardi4nfdi.de/entity/Q42228221998-12-13Paper
https://portal.mardi4nfdi.de/entity/Q42189191998-11-15Paper
Games and Definability For FPC1997-12-17Paper
https://portal.mardi4nfdi.de/entity/Q48708031996-07-01Paper

Research outcomes over time

This page was built for person: Guy McCusker

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:276480&oldid=7508915"
Powered by MediaWiki