James Laird

Dr

  • 1 WEST 4.64

19972020

Research output per year

If you made any changes in Pure these will be visible here soon.

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

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

  • Research Output

    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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12077 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File

    A fully abstract game semantics for countable nondeterminism

    Gowers, W. J. & Laird, J. D., 1 Aug 2018, Computer Science Logic 2018, CSL 2018. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 119. 24

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Extensional and intensional semantic universes: A denotational model of dependent types

    Blot, V. & Laird, J., 31 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. IEEE, Vol. Part F138033. p. 95-104 10 p. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 12 Downloads (Pure)
    Open Access
    1 Citation (Scopus)

    From Qualitative to Quantitative Semantics by Change of Base

    Laird, J., Apr 2017.

    Research output: Contribution to conferencePaper

    Open Access
    File
    2 Citations (Scopus)
    51 Downloads (Pure)

    Thesis

    Modular Normalisation of Classical Proofs

    Author: Ralph, B., 3 Apr 2019

    Supervisor: Laird, J. (Supervisor) & Guglielmi, A. (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File

    Per Interest-Point Local Descriptors and Detecting People in Artwork

    Author: Westlake, N., 19 Jun 2019

    Supervisor: Laird, J. (Supervisor), Campbell, N. (Supervisor), Hall, P. (Supervisor) & Brown, M. (External person) (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File