Jim Laird

From MaRDI portal
Revision as of 11:17, 11 December 2023 by AuthorDisambiguator (talk | contribs) (AuthorDisambiguator moved page Jim Laird to Jim Laird: Duplicate)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:591721

Available identifiers

zbMath Open laird.jimMaRDI QIDQ591721

List of research outcomes





PublicationDate of PublicationType
An axiomatic account of a fully abstract game semantics for general references2024-10-01Paper
From global to local state, coalgebraically and compositionally2022-04-29Paper
Extensional and Intensional Semantic Universes2021-01-20Paper
Weighted Relational Models of Typed Lambda-Calculi2017-07-03Paper
Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects2016-12-02Paper
Imperative programs as proofs via game semantics2013-12-19Paper
Constructing differential categories and deconstructing categories of games2013-06-06Paper
Constructing Differential Categories and Deconstructing Categories of Games2011-07-07Paper
CONCUR 2005 – Concurrency Theory2006-11-01Paper
https://portal.mardi4nfdi.de/entity/Q46813672005-06-23Paper
https://portal.mardi4nfdi.de/entity/Q44574592004-03-22Paper

Research outcomes over time

This page was built for person: Jim Laird

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