Pages that link to "Item:Q3453735"

The following pages link to Isomorphic Interpreters from Logically Reversible Abstract Machines (Q3453735):

Displaying 3 items.

• From reversible programs to univalent universes and back (Q2130579) (← links)
• Computing with Semirings and Weak Rig Groupoids (Q2802473) (← links)
• A Certified Study of a Reversible Programming Language (Q4580228) (← links)