Pages that link to "Item:Q4304553"
From MaRDI portal
The following pages link to An imperative language based on distributive categories II (Q4304553):
Displaying 6 items.
- Bicategories of processes (Q674474) (← links)
- Tail recursion through universal invariants (Q685396) (← links)
- On the relations between distributive computability and the BSS model (Q1349919) (← links)
- Matrices, machines and behaviors (Q2563761) (← links)
- Imperative programming in sets with atoms (Q2957477) (← links)
- Feedback, trace and fixed-point semantics (Q4787833) (← links)