TY  - RPRT
TI  - Estimation of the length of interactions in arena game semantics
AU  - Pierre Clairambault
PY  - 2011
DO  - 10.1007/978-3-642-19805-2_23
UR  - https://arxiv.org/abs/1112.3053
ID  - 1112.3053
ER  -