Jim Laird
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2005–2018
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | LICS | Extensional and Intensional Semantic Universes: A Denotational Model of Dependent Types. | Valentin Blot, Jim Laird |
| 2013 | LICS | Weighted Relational Models of Typed Lambda-Calculi. | Jim Laird, Giulio Manzonetto, Guy McCusker, Michele Pagani |
| 2011 | ICALP | Constructing Differential Categories and Deconstructing Categories of Games. | Jim Laird, Giulio Manzonetto, Guy McCusker |
| 2005 | CONCUR | A Game Semantics of the Asynchronous | Jim Laird |