Guy McCusker

From MaRDI portal
Person:276480

Available identifiers

zbMath Open mccusker.guy-andrewMaRDI QIDQ276480

List of research outcomes

PublicationDate of PublicationType
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
Understanding Game Semantics Through Coherence Spaces2016-07-08Paper
Modelling Local Variables: Possible Worlds and Object Spaces2016-07-08Paper
A Graphical Foundation for Schedules2016-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


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Guy McCusker