James Laird

Available identifiers

zbMath Open laird.james-dMaRDI QIDQ2200838

List of research outcomes

Publication	Date of Publication	Type
Dinaturality meets genericity: a game semantics of bounded polymorphism	2024-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q5079748	2022-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q5028431	2022-02-09	Paper
Combining and relating control effects and their semantics	2021-09-09	Paper
Weighted models for higher-order computation	2020-12-15	Paper
A curry-style semantics of interaction: from untyped to second-order lazy \(\lambda\mu\)-calculus	2020-09-23	Paper
Sequoidal categories and transfinite games: a coalgebraic approach to stateful objects in game semantics	2018-08-13	Paper
Weighted Relational Models for Mobility	2017-10-17	Paper
Polymorphic game semantics for dynamic binding	2017-07-19	Paper
From qualitative to quantitative semantics. By change of base	2017-05-19	Paper
Game semantics for bounded polymorphism	2016-06-10	Paper
Game semantics for call-by-value polymorphism	2010-09-07	Paper
A logic of sequentiality	2010-09-03	Paper
Nondeterminism and Observable Sequentiality	2009-11-12	Paper
A Fully Abstract Trace Semantics for General References	2007-11-28	Paper
Bistable Biorders: A Sequential Domain Theory	2007-10-11	Paper
Foundations of Software Science and Computation Structures	2007-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q3593502	2007-07-20	Paper
Computer Science Logic	2007-06-21	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q4738351	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4417867	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2778826	2002-03-21	Paper

Research outcomes over time

This page was built for person: James Laird