Travelled to:1 × Switzerland
1 × USA
Collaborated with:G.Manzonetto G.McCusker M.Pagani
Talks about:categori (2) deconstruct (1) differenti (1) construct (1) calculi (1) weight (1) relat (1) model (1) type (1) game (1)
Person: Jim Laird
DBLP: Laird:Jim
Contributed to:
2013
2011Wrote 2 papers:
- LICS-2013-LairdMMP #modelling #relational #λ-calculus
- Weighted Relational Models of Typed λ-Calculi (JL, GM, GM, MP), pp. 301–310.
- ICALP-v2-2011-LairdMM #category theory #difference #game studies
- Constructing Differential Categories and Deconstructing Categories of Games (JL, GM, GM), pp. 186–197.