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 their equational properties. We formulate axioms for guarded fixpoint operators generalizing the axio…