Pages that link to "Item:Q2909735"

The following pages link to A duality between exceptions and states (Q2909735):

Displaying 3 items.

• Deduction as reduction, from a categorical point of view (Q382412) (← 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)