Pages that link to "Item:Q5482273"
From MaRDI portal
The following pages link to A lambda calculus for quantum computation with classical control (Q5482273):
Displayed 4 items.
- Quantum implicit computational complexity (Q1044836) (← links)
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence. (Q3522006) (← links)
- On a measurement-free quantum lambda calculus with classical control (Q3625676) (← links)
- The Arrow Calculus as a Quantum Programming Language (Q3638297) (← links)