Jim LAIRD
University of Bath
H-index: 18
Europe-United Kingdom
Top articles of Jim LAIRD
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
An Axiomatic Account of a Fully Abstract Game Semantics for General References | Jim Laird Guy McCusker | 2023/8/2 | |
Revisiting decidable bounded quantification, via dinaturality | Electronic Notes in Theoretical Informatics and Computer Science | James Laird | 2023/2/22 |
Dinaturality Meets Genericity: A Game Semantics of Bounded Polymorphism | James Laird | 2023 | |
A Compositional Cost Model for the λ-calculus | James Laird | 2021/6/29 | |
Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism | Logical Methods in Computer Science | James Laird | 2021/11/24 |
Weighted models for higher-order computation | Information and Computation | James Laird | 2020/12/1 |
A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λ μ-Calculus. | James Laird | 2020/4/17 |