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 × Austria
1 × Japan
1 × Poland
Collaborated with:
P.Clairambault G.Winskel H.Paquet N.Yoshida P.Dybjer
Talks about:
side (3) game (3) intension (2) semant (2) probabilist (1) cartesian (1) asynchron (1) synchron (1) symmetri (1) parallel (1)

Person: Simon Castellan

DBLP DBLP: Castellan:Simon

Contributed to:

LICS 20152015
TLCA 20152015
CSL-LICS 20142014
ESOP 20192019
POPL 20192019

Wrote 5 papers:

LICS-2015-CastellanCW #game studies #parallel
The Parallel Intensionally Fully Abstract Games Model of PCF (SC, PC, GW), pp. 232–243.
TLCA-2015-CastellanCD #similarity
Undecidability of Equality in the Free Locally Cartesian Closed Category (SC, PC, PD), pp. 138–152.
LICS-CSL-2014-CastellanCW #concurrent #game studies #symmetry
Symmetry in concurrent games (SC, PC, GW), p. 10.
ESOP-2019-CastellanP #probability #programming #semantics
Probabilistic Programming Inference via Intensional Semantics (SC, HP), pp. 322–349.
POPL-2019-CastellanY #game studies #semantics
Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side (SC, NY), p. 29.

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.