Pages that link to "Item:Q2811333"

The following pages link to Join Inverse Categories as Models of Reversible Recursion (Q2811333):

Displaying 4 items.

• Join inverse categories and reversible recursion (Q511931) (← links)
• A categorical foundation for structured reversible flowchart languages (Q2130590) (← links)
• The Category TOF (Q3385627) (← links)
• A categorical foundation for structured reversible flowchart languages: Soundness and adequacy (Q4585070) (← links)