James Laird

Available identifiers

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
https://portal.mardi4nfdi.de/entity/Q4957793	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
https://portal.mardi4nfdi.de/entity/Q4580209	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	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

This page was built for person: James Laird