Pages that link to "Item:Q2133172"

The following pages link to Condition/decision duality and the internal logic of extensive restriction categories (Q2133172):

Displaying 3 items.

• Algeo: an algebraic approach to reversibility (Q2097422) (← links)
• From reversible programming languages to reversible metalanguages (Q2139051) (← links)
• Categorical semantics of reversible pattern-matching (Q6653745) (← links)