@Inproceedings{EPTCS75.1,
  author    = {Leivant, Daniel and Ramyaa, Ramyaa},
  year      = {2012},
  title     = {Implicit complexity for coinductive data: a characterization of corecurrence},
  editor    = {Marion, Jean-Yves},
  booktitle = {{\rm Proceedings Second Workshop on}
               Developments in Implicit Computational Complexity ,
               {\rm Saarbr\"ucken, Germany, April 2nd and 3rd, 2011}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {75},
  publisher = {Open Publishing Association},
  pages     = {1-14},
  doi       = {10.4204/EPTCS.75.1},
}