Pages that link to "Item:Q5015192"
From MaRDI portal
The following pages link to Total and Partial Computation in Categorical Quantum Foundations (Q5015192):
Displaying 9 items.
- From probability monads to commutative effectuses (Q1683710) (← links)
- Effectuses from monads (Q1744385) (← links)
- A modular functor which is universal for quantum computation (Q1865541) (← links)
- Category-theoretic analysis of the notion of complementarity for quantum systems (Q3442624) (← links)
- A Type Theory for Probabilistic and Bayesian Reasoning (Q4580222) (← links)
- (Q5015193) (← links)
- Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation (Q5505491) (← links)
- A computer scientist’s reconstruction of quantum theory* (Q5876440) (← links)
- Dichotomy between deterministic and probabilistic models in countably additive effectus theory (Q6645578) (← links)