Jim Laird

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
Weighted relational models of typed lambda-calculi 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science	2017-07-03	Paper
Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects Annals of Pure and Applied Logic	2016-12-02	Paper
Imperative programs as proofs via game semantics Annals of Pure and Applied Logic	2013-12-19	Paper
Constructing differential categories and deconstructing categories of games Information and Computation	2013-06-06	Paper
Constructing Differential Categories and Deconstructing Categories of Games Automata, Languages and Programming	2011-07-07	Paper
CONCUR 2005 – Concurrency Theory Lecture Notes in Computer Science	2006-11-01	Paper
scientific article; zbMATH DE number 2182492 (Why is no real title available?)	2005-06-23	Paper
scientific article; zbMATH DE number 2061712 (Why is no real title available?)	2004-03-22	Paper

Research outcomes over time

This page was built for person: Jim Laird