Travelled to:1 × France
1 × Italy
1 × Poland
1 × USA
1 × United Kingdom
Collaborated with:V.Danos G.McCusker M.Hyland P.Melliès J.Feret W.Fontana J.Krivine
Talks about:semant (3) abstract (2) model (2) innoc (2) game (2) probabilist (1) nondetermin (1) differenti (1) combinator (1) strategi (1)
Person: Russell Harmer
DBLP: Harmer:Russell
Contributed to:
20102007
200120001999Wrote 5 papers:
- LICS-2010-DanosFFHK #automation #difference #modelling #reduction #rule-based #semantics
- Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction (VD, JF, WF, RH, JK), pp. 362–381.
- LICS-2007-HarmerHM #category theory #combinator
- Categorical Combinatorics for Innocent Strategies (RH, MH, PAM), pp. 379–388.
- CSL-2001-DanosH
- The Anatomy of Innocence (VD, RH), pp. 188–202.
- LICS-2000-DanosH #game studies #probability #semantics
- Probabilistic Game Semantics (VD, RH), pp. 204–213.
- LICS-1999-HarmerM #finite #game studies #nondeterminism #semantics
- A Fully Abstract Game Semantics for Finite Nondeterminism (RH, GM), pp. 422–430.