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 Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

- 3 Similar Profiles

## Projects 2008 2017

- 6 Finished

### Games and Differential Nets for Concurrent Systems

Laird, J., Guglielmi, A., McCusker, G. & Power, A.

1/08/15 → 30/11/17

Project: Research council

### Sharing and Sequentiality in Proof Systems with Locality

Guglielmi, A., Bruscoli, P., Laird, J., McCusker, G. & Power, A.

29/03/12 → 30/06/14

Project: Research council

### Graph Models of Functional, Imperative and Logic Programming

McCusker, G., Guglielmi, A., Laird, J. & Power, A.

20/01/11 → 31/01/14

Project: Research council

## Research Output 1997 2017

### Combining Control Effects and Their Models: Game Semantics for a hierarchy of static, dynamic and delimited control effects.

Laird, J. Feb 2017 In : Annals of Pure and Applied Logic. 168, 2, p. 470-500Research output: Contribution to journal › Article

### From Qualitative to Quantitative Semantics by Change of Base

Laird, J. Apr 2017Research output: Contribution to conference › Paper

### Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics

Gowers, W. J. & Laird, J. 31 May 2017*Proceedings of 7th Conference on Algebra and Coalgebra in Computer Science.*Bonchi, F. & König, B. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (LIPIcs)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

### Fixed points in quantitative semantics

Laird, J. Jul 2016*LICS '16, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science .*Shankar, N. (ed.). New York, U. S. A.: Association for Computing Machinery, p. 347-356

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

### Game semantics for bounded polymorphism

Laird, J. 22 Mar 2016*Foundations of Software Science and Computation Structures: Proceedings of19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2016, Eindhoven, the Netherlands, April 2-8, 2016..*Jacobs, B. & Loding, C. (eds.). The Netherlands: Springer Verlag, p. 55-70 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9634)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution