Guy McCusker

Available identifiers

zbMath Open mccusker.guy-andrewMaRDI QIDQ276480

List of research outcomes

Publication	Date of Publication	Type
On Compositionality of Dinatural Transformations	2022-05-28	Paper
Composing dinatural transformations: towards a calculus of substitution	2021-06-09	Paper
A history based logic for dynamic preference updates	2020-10-28	Paper
Weighted Relational Models of Typed Lambda-Calculi	2017-07-03	Paper
Understanding Game Semantics Through Coherence Spaces	2016-07-08	Paper
Modelling Local Variables: Possible Worlds and Object Spaces	2016-07-08	Paper
A Graphical Foundation for Schedules	2016-07-08	Paper
On the semantics of the bad-variable constructor in Algol-like languages	2016-05-03	Paper
A graphical foundation for interleaving in game semantics	2014-12-05	Paper
Imperative programs as proofs via game semantics	2013-12-19	Paper
Constructing differential categories and deconstructing categories of games	2013-06-06	Paper
Categorical Models of Syntactic Control of Intereference Revisited, Revisited	2011-09-15	Paper
Constructing Differential Categories and Deconstructing Categories of Games	2011-07-07	Paper
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming	2011-01-21	Paper
A Graph Model for Imperative Computation	2010-03-15	Paper
A Games Model of Bunched Implications	2009-03-05	Paper
The regular-language semantics of second-order idealized ALGOL	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4411827	2003-07-10	Paper
Games and full abstraction for FPC.	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q2754137	2001-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4263830	2001-05-28	Paper
Full abstraction for idealized Algol with passive expressions	2000-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4231031	1999-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q4222822	1998-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4218919	1998-11-15	Paper
Games and Definability For FPC	1997-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q4870803	1996-07-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Guy McCusker