James Laird

Available identifiers

zbMath Open laird.james-dMaRDI QIDQ2200838

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q5369489	2017-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q5278413	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: James Laird