BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Harmer:Russell

Contributed to:

LICS 20102010
LICS 20072007
CSL 20012001
LICS 20002000
LICS 19991999

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.