Pages that link to "Item:Q4818937"
From MaRDI portal
The following pages link to Towards a quantum programming language (Q4818937):
Displayed 10 items.
- Quantum circuit oracles for abstract machine computations (Q960862) (← links)
- Reasoning about faulty quantum programs (Q1031864) (← links)
- Quantum implicit computational complexity (Q1044836) (← links)
- Commutativity of quantum weakest preconditions (Q2380014) (← links)
- Proof rules for the correctness of quantum programs (Q2455601) (← links)
- Probabilistic bisimulations for quantum processes (Q2461794) (← links)
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence. (Q3522006) (← links)
- Towards a typed Geometry of Interaction (Q3564345) (← links)
- On a measurement-free quantum lambda calculus with classical control (Q3625676) (← links)
- Natural Quantum Operational Semantics with Predicates (Q5324519) (← links)