Pages that link to "Item:Q511931"
From MaRDI portal
The following pages link to Join inverse categories and reversible recursion (Q511931):
Displaying 10 items.
- Join inverse categories and reversible recursion (Q511931) (← links)
- A categorical foundation for structured reversible flowchart languages (Q2130590) (← links)
- Condition/decision duality and the internal logic of extensive restriction categories (Q2133172) (← links)
- Reversible effects as inverse arrows (Q2134817) (← links)
- From reversible programming languages to reversible metalanguages (Q2139051) (← links)
- Étale inverse semigroupoids: elementary properties, universal constructions and duality (Q2684018) (← links)
- Reversible computing from a programming language perspective (Q2693633) (← links)
- A categorical foundation for structured reversible flowchart languages: Soundness and adequacy (Q4585070) (← links)
- Inversion, Iteration, and the Art of Dual Wielding (Q5237212) (← links)
- Optimization of reversible control flow graphs (Q6148107) (← links)