Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion - Milius, Stefan; Litak, Tadeusz Michal (Fundamenta Informaticae, 2017)
UnivIS-Import:2017-03-24:Pub.2017.tech.IMMD.profes_1.guardy
Keywords: guarded fixpoint; guarded trace; iteration; equational properties