The following pages link to (Q2849867):
Displayed 5 items.
- The vectorial \(\lambda\)-calculus (Q529049) (← links)
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits (Q2825343) (← links)
- (Q2980972) (← links)
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence. (Q3522006) (← links)