Pages that link to "Item:Q2909735"
From MaRDI portal
The following pages link to A duality between exceptions and states (Q2909735):
Displaying 6 items.
- Deduction as reduction, from a categorical point of view (Q382412) (← links)
- Dynamic state restoration using versioning exceptions (Q853735) (← links)
- Logical rules as fractions and logics as sketches (Q2198320) (← links)
- Mac Lane's comparison theorem for the Kleisli construction formalized in Coq (Q2209259) (← links)
- Monads and adjunctions for global exceptions (Q2851326) (← links)
- Successes and failures in the construction of NESS-states (Q3560981) (← links)