The following pages link to The coinductive resumption monad (Q283770):
Displaying 11 items.
- Flag-based big-step semantics (Q516041) (← links)
- CryptHOL: game-based proofs in higher-order logic (Q2175214) (← links)
- Temporal refinements for guarded recursive types (Q2233479) (← links)
- Unifying Guarded and Unguarded Iteration (Q2988389) (← links)
- (Q4585073) (← links)
- (Q4637688) (← links)
- (Q4968384) (← links)
- (Q5013826) (← links)
- Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot (Q5875354) (← links)
- Effect polymorphism in higher-order logic (proof pearl) (Q5919584) (← links)
- Unguarded recursion on coinductive resumptions (Q5971399) (← links)
