Theseus
From MaRDI portal
Software:30868
swMATH19037MaRDI QIDQ30868FDOQ30868
Author name not available (Why is that?)
Cited In (9)
- 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
- Garbage Collection for Reversible Functional Languages
- 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
