TY  - RPRT
TI  - Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion
AU  - Stefan Milius
AU  - Tadeusz Litak
PY  - 2016
DO  - 10.3233/fi-2017-1475
UR  - https://arxiv.org/abs/1603.05214
ID  - 1603.05214
ER  -