Pages that link to "Item:Q2825343"
From MaRDI portal
The following pages link to Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits (Q2825343):
Displaying 8 items.
- A logic for quantum register measurements (Q2306145) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- Confluence in probabilistic rewriting (Q2333318) (← links)
- An Overview of QML With a Concrete Implementation in Haskell (Q2825353) (← links)
- Confluence Results for a Quantum Lambda Calculus with Measurements (Q2825377) (← links)
- (Q5018491) (← links)
- (Q5089021) (← links)
- (Q5094133) (← links)
