Pages that link to "Item:Q1798794"
From MaRDI portal
The following pages link to Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract) (Q1798794):
Displaying 4 items.
- Monoidal computer. I: Basic computability by string diagrams (Q385721) (← links)
- Monoidal computer III: A coalgebraic view of computability and complexity (Q6285595) (← links)
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers (Q6612803) (← links)
- Testing randomness by Matching Pennies (Q6643370) (← links)