The following pages link to Reversible combinatory logic (Q5482262):
Displaying 8 items.
- Fundamentals of reversible flowchart languages (Q896906) (← links)
- Reversible computation in term rewriting (Q1683707) (← links)
- The \(\aleph \)-calculus. A declarative model of reversible programming (Q2097425) (← links)
- From reversible programs to univalent universes and back (Q2130579) (← links)
- Describing and Optimising Reversible Logic Using a Functional Language (Q2830051) (← links)
- On reversible combinatory logic (Q2851703) (← links)
- lambda!-calculus, Intersection Types, and Involutions (Q5089015) (← links)
- The involutions-as-principal types/application-as-unification Analogy (Q5222959) (← links)