The following pages link to Concurrent Quantum Strategies (Q5237210):
Displayed 6 items.
- Quantum programming with inductive datatypes: causality and affine type theory (Q2200848) (← links)
- Bayesian strategies: probabilistic programs as generalised graphical models (Q2233478) (← links)
- Concurrent Quantum Strategies (Q5237210) (← links)
- Causal Unfoldings (Q5875372) (← links)
- Categorical composable cryptography: extended version (Q6178713) (← links)
- Categorical composable cryptography (Q6181927) (← links)