Cited in
(13)- A certified study of a reversible programming language
- A class of recursive permutations which is primitive recursive complete
- Computing with semirings and weak rig groupoids
- Join inverse categories as models of reversible recursion
- Reversible effects as inverse arrows
- LRinv
- CauDEr
- Garbage Collection for Reversible Functional Languages
- DEMONIC
- Algeo
- Join inverse categories and reversible recursion
- Inversion, iteration, and the art of dual wielding
- Algeo: an algebraic approach to reversibility
This page was built for software: Theseus
