TY  - RPRT
TI  - Implicit complexity for coinductive data: a characterization of corecurrence
AU  - Daniel Leivant
AU  - Ramyaa Ramyaa
PY  - 2012
DO  - 10.4204/eptcs.75.1
UR  - https://arxiv.org/abs/1201.1119
ID  - 1201.1119
ER  -