Theseus
From MaRDI portal
Software:30868
swMATH19037MaRDI QIDQ30868FDOQ30868
Author name not available (Why is that?)
Cited In (9)
- A class of recursive permutations which is primitive recursive complete
- Reversible effects as inverse arrows
- Computing with Semirings and Weak Rig Groupoids
- Join Inverse Categories as Models of Reversible Recursion
- A Certified Study of a Reversible Programming Language
- Inversion, Iteration, and the Art of Dual Wielding
- Garbage Collection for Reversible Functional Languages
- Join inverse categories and reversible recursion
- Algeo: an algebraic approach to reversibility
This page was built for software: Theseus
