TY  - RPRT
TI  - Proceedings International Workshop on Developments in Implicit Computational complExity
AU  - Patrick Baillot
PY  - 2010
DO  - 10.4204/eptcs.23
UR  - https://arxiv.org/abs/1005.0653
ID  - 1005.0653
ER  -