TY  - RPRT
TI  - Proceedings Second Workshop on Developments in Implicit Computational Complexity
AU  - Jean-Yves Marion
PY  - 2012
DO  - 10.4204/eptcs.75
UR  - https://arxiv.org/abs/1201.0345
ID  - 1201.0345
ER  -