Jim Laird

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 2

Top Topics

Relational Models

Imperative Programs

Top Venues

Ann. Pure Appl. Log.

Publications

Jim Laird
From Global to Local State, Coalgebraically and Compositionally. MFPS (2019)
Valentin Blot, Jim Laird
Extensional and Intensional Semantic Universes: A Denotational Model of Dependent Types. LICS (2018)
Jim Laird, Giulio Manzonetto, Guy McCusker
Constructing differential categories and deconstructing categories of games. Inf. Comput. 222 (2013)
Martin Churchill, Jim Laird, Guy McCusker
Imperative Programs as Proofs via Game Semantics. CoRR (2013)
Martin Churchill, Jim Laird, Guy McCusker
Imperative programs as proofs via game semantics. Ann. Pure Appl. Log. 164 (11) (2013)
Jim Laird, Giulio Manzonetto, Guy McCusker, Michele Pagani
Weighted Relational Models of Typed Lambda-Calculi. LICS (2013)
Jim Laird, Giulio Manzonetto, Guy McCusker
Constructing Differential Categories and Deconstructing Categories of Games. ICALP (2) (2011)
Jim Laird
Game semantics and linear CPS interpretation. Theor. Comput. Sci. 333 (1-2) (2005)
Jim Laird
-Calculus. CONCUR (2005)
Jim Laird
Sequentiality in Bounded Biorders. Fundam. Informaticae 65 (1-2) (2005)