Projects per year
Personal profile
Research interests
Research interests lie in and around denotational semantics: the interpretation of computer programs and logical proofs as mathematical objects, such as strategies for a game, functions between domains or morphisms in a category. Jim aims to use these representations to describe, constrain and reason about particular computational effects and control and data flow generally.
Fingerprint
Dive into the research topics where James Laird is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Projects
- 6 Finished
-
Games and Differential Nets for Concurrent Systems
Laird, J., Guglielmi, A., McCusker, G. & Power, J.
1/08/15 → 30/11/17
Project: Research council
-
Semantic Types for Verified Program Behaviour
Engineering and Physical Sciences Research Council
28/02/14 → 31/07/17
Project: Research council
-
Sharing and Sequentiality in Proof Systems with Locality
Guglielmi, A., Bruscoli, P., Laird, J., McCusker, G. & Power, J.
29/03/12 → 30/06/14
Project: Research council
-
Graph Models of Functional, Imperative and Logic Programming
McCusker, G., Guglielmi, A., Laird, J. & Power, J.
20/01/11 → 31/01/14
Project: Research council
-
Semantic Structures for Higher-Order Information Flow
Engineering and Physical Sciences Research Council
20/06/10 → 19/06/12
Project: Research council
Research output
-
Dinaturality Meets Genericity: A Game Semantics of Bounded Polymorphism
Laird, J., 28 Jun 2023, 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023. Gaboardi, M. & van Raamsdonk, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 33. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 260).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open Access -
A Compositional Cost Model for the λ-calculus
Laird, J., 29 Jun 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. IEEE, Vol. 2021-June. p. 1-13 9470567. (Proceedings - Symposium on Logic in Computer Science; vol. 2021-June).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open AccessFile1 Citation (SciVal)95 Downloads (Pure) -
Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
Laird, J., 24 Nov 2021, In: Logical Methods in Computer Science. 17, 4, p. 11:1-11:37Research output: Contribution to journal › Article › peer-review
Open AccessFile8 Downloads (Pure) -
A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λμ-Calculus
Laird, J., 2020, Foundations of Software Science and Computation Structures- 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Goubault-Larrecq, J. & König, B. (eds.). Cham, Switzerland: Springer, p. 422-441 20 p. (Lecture Notes in Computer Science ; vol. 12077).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open AccessFile25 Downloads (Pure) -
Weighted models for higher-order computation
Laird, J., 31 Dec 2020, In: Information and Computation. 275, 104645.Research output: Contribution to journal › Article › peer-review
Open AccessFile2 Citations (SciVal)16 Downloads (Pure)