Theseus
From MaRDI portal
Software:30868
No author found.
Related Items (9)
Reversible effects as inverse arrows ⋮ A class of recursive permutations which is primitive recursive complete ⋮ Join inverse categories and reversible recursion ⋮ Computing with Semirings and Weak Rig Groupoids ⋮ Join Inverse Categories as Models of Reversible Recursion ⋮ Garbage Collection for Reversible Functional Languages ⋮ Inversion, Iteration, and the Art of Dual Wielding ⋮ A Certified Study of a Reversible Programming Language ⋮ Algeo: an algebraic approach to reversibility
This page was built for software: Theseus
