Pages that link to "Item:Q265831"
From MaRDI portal
The following pages link to Bicategorical semantics for nondeterministic computation (Q265831):
Displaying 5 items.
- On the notion of bimodel for functorial semantics (Q1332449) (← links)
- Higher Semantics of Quantum Protocols (Q2986839) (← links)
- Categories of relations as models of quantum theory (Q5015202) (← links)
- A Bicategorical Model for Finite Nondeterminism (Q6159925) (← links)
- Categorical composable cryptography: extended version (Q6178713) (← links)