TY  - RPRT
TI  - Innocent Strategies are Sheaves over Plays---Deterministic, Non-deterministic and Probabilistic Innocence
AU  - Takeshi Tsukada
AU  - C. -H. Luke Ong
PY  - 2014
UR  - https://arxiv.org/abs/1409.2764
ID  - 1409.2764
ER  -