The following pages link to Theseus (Q30868):
Displaying 9 items.
- Join inverse categories and reversible recursion (Q511931) (← links)
- A class of recursive permutations which is primitive recursive complete (Q1989331) (← links)
- Algeo: an algebraic approach to reversibility (Q2097422) (← links)
- Reversible effects as inverse arrows (Q2134817) (← links)
- Computing with Semirings and Weak Rig Groupoids (Q2802473) (← links)
- Join Inverse Categories as Models of Reversible Recursion (Q2811333) (← links)
- Garbage Collection for Reversible Functional Languages (Q2822492) (← links)
- A Certified Study of a Reversible Programming Language (Q4580228) (← links)
- Inversion, Iteration, and the Art of Dual Wielding (Q5237212) (← links)
