Pages that link to "Item:Q5482262"

The following pages link to Reversible combinatory logic (Q5482262):

Displaying 5 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)
• lambda!-calculus, Intersection Types, and Involutions (Q5089015) (← links)