29 citations · 84 across the 12 of their papers we have counts for
1 paper · 1 filter
Stefan Milius, Tadeusz Litak
Motivated by the recent interest in models of guarded (co-)recursion we study its equational properties. We formulate axioms for guarded fixpoint operators generalizing the axioms…