Pages that link to "Item:Q4585070"
From MaRDI portal
The following pages link to A categorical foundation for structured reversible flowchart languages: Soundness and adequacy (Q4585070):
Displayed 6 items.
- Condition/decision duality and the internal logic of extensive restriction categories (Q2133172) (← links)
- From reversible programming languages to reversible metalanguages (Q2139051) (← links)
- Reversible computing from a programming language perspective (Q2693633) (← links)
- The Category TOF (Q3385627) (← links)
- A categorical foundation for structured reversible flowchart languages: Soundness and adequacy (Q4585070) (← links)
- Tail recursion transformation for invertible functions (Q6148109) (← links)