Projects per year

## 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

Game Semantics
Mathematics

Semantics
Engineering & Materials Science

Game
Mathematics

Denotational Semantics
Mathematics

Computer programming languages
Engineering & Materials Science

Model
Mathematics

Lambda Calculus
Mathematics

Calculus
Mathematics

## 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

Semantics

Computer programming languages

Object oriented programming

Model checking

Polymorphism

### 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

Semantics

Computer programming languages

Mathematical models

## 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

Open Access

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

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

Open Access

File

### 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

File

Game Semantics

Coalgebra

Game

Functor

Transformer

2
Citations

### 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

Open Access

File

Fixed point

Semiring

Infinite sum

Denotational Semantics

Monoidal Category

### 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

Open Access

File

Game Semantics

Polymorphism

Denotational Semantics

Quantification

Programming Languages