The following pages link to Information effects (Q2942859):
Displaying 12 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- Join inverse categories and reversible recursion (Q511931) (← links)
- Fundamentals of reversible flowchart languages (Q896906) (← links)
- A class of recursive permutations which is primitive recursive complete (Q1989331) (← links)
- Algeo: an algebraic approach to reversibility (Q2097422) (← links)
- From reversible programs to univalent universes and back (Q2130579) (← links)
- Reversible effects as inverse arrows (Q2134817) (← links)
- From reversible programming languages to reversible metalanguages (Q2139051) (← links)
- Computing with Semirings and Weak Rig Groupoids (Q2802473) (← links)
- Generating Reversible Circuits from Higher-Order Functional Programs (Q3186607) (← links)
- Clean Reversible Simulations of Ranking Binary Trees (Q5112174) (← links)
- Splitting Recursion Schemes into Reversible and Classical Interacting Threads (Q5162610) (← links)
