The following pages link to (Q5015185):
Displaying 4 items.
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- Quantum alternation (Q2361668) (← links)
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Q5056005) (← links)