@misc{indiciae2688ee75b293,
  title = {Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion},
  author = {Stefan Milius and Tadeusz Litak},
  year = {2013},
  doi = {10.4204/eptcs.126.6},
  url = {https://arxiv.org/abs/1309.0895},
  note = {Source identifier: 1309.0895}
}