Person:591721

Available identifiers

zbMath Open laird.jimMaRDI QIDQ591721

List of research outcomes

Publication	Date of Publication	Type
An axiomatic account of a fully abstract game semantics for general references	2024-10-01	Paper
From global to local state, coalgebraically and compositionally	2022-04-29	Paper
Extensional and Intensional Semantic Universes	2021-01-20	Paper
Weighted Relational Models of Typed Lambda-Calculi	2017-07-03	Paper
Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects	2016-12-02	Paper
Imperative programs as proofs via game semantics	2013-12-19	Paper
Constructing differential categories and deconstructing categories of games	2013-06-06	Paper
Constructing Differential Categories and Deconstructing Categories of Games	2011-07-07	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4681367	2005-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4457459	2004-03-22	Paper

Research outcomes over time

This page was built for person: Jim Laird