Pages that link to "Item:Q2864167"
From MaRDI portal
The following pages link to An algebra of pure quantum programming (Q2864167):
Displaying 12 items.
- FJQuantum. A quantum object oriented language (Q529648) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- Algebraic effects, linearity, and quantum programming languages (Q2819826) (← links)
- Measurements and confluence in quantum lambda calculi with explicit qubits (Q2825343) (← links)
- An overview of QML with a concrete implementation in Haskell (Q2825353) (← links)
- Scalar System F for linear-algebraic \(\lambda\)-calculus: towards a quantum physical logic (Q2825375) (← links)
- (Q2980972) (← links)
- Can a Quantum Computer Run the von Neumann Architecture? (Q3000932) (← links)
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence. (Q3522006) (← links)
- The Arrow Calculus as a Quantum Programming Language (Q3638297) (← links)
- An Algebraic Language for Distributed Quantum Computing (Q4974941) (← links)
- Quantum Programs as Kleisli Maps (Q5014792) (← links)