Pages that link to "Item:Q2133172"
From MaRDI portal
The following pages link to Condition/decision duality and the internal logic of extensive restriction categories (Q2133172):
Displaying 4 items.
- Algeo: an algebraic approach to reversibility (Q2097422) (← links)
- From reversible programming languages to reversible metalanguages (Q2139051) (← links)
- Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories (Q6319172) (← links)
- Categorical semantics of reversible pattern-matching (Q6653745) (← links)