The following pages link to On reversible combinatory logic (Q2851703):
Displaying 6 items.
- Computing with Semirings and Weak Rig Groupoids (Q2802473) (← links)
- Describing and Optimising Reversible Logic Using a Functional Language (Q2830051) (← links)
- From reversible to irreversible computations (Q2870206) (← links)
- On the Power of Logic Resynthesis (Q4943870) (← links)
- The involutions-as-principal types/application-as-unification Analogy (Q5222959) (← links)
- Reversible combinatory logic (Q5482262) (← links)