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