Pages that link to "Item:Q2130590"
From MaRDI portal
The following pages link to A categorical foundation for structured reversible flowchart languages (Q2130590):
Displaying 3 items.
- \(\mathsf{CoreFun}\): a typed functional reversible core language (Q1796398) (← links)
- Condition/decision duality and the internal logic of extensive restriction categories (Q2133172) (← links)
- A categorical foundation for structured reversible flowchart languages: Soundness and adequacy (Q4585070) (← links)