James Laird
Identifiers
- name variant James Laird 0.60 · backfill
Papers (3)
- Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics cs.LO · 2017 · author #2
- A Concrete Representation of Observational Equivalence for PCF cs.LO · 2010 · author #2
- Bistable Biorders: A Sequential Domain Theory cs.PL · 2007 · author #1
Mentions
- 1003.0107 #2 · backfill · confidence 0.70 James Laird
Frequent Coauthors
- Guy McCusker 1 shared papers
- Martin Churchill 1 shared papers
- William John Gowers 1 shared papers