Pages that link to "Item:Q2825377"
From MaRDI portal
The following pages link to Confluence results for a quantum lambda calculus with measurements (Q2825377):
Displaying 12 items.
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- Confluence in probabilistic rewriting (Q2333318) (← links)
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638) (← links)
- Measurements and confluence in quantum lambda calculi with explicit qubits (Q2825343) (← links)
- $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations (Q2988843) (← links)
- On a measurement-free quantum lambda calculus with classical control (Q3625676) (← links)
- (Q5015214) (← links)
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Q5056005) (← links)
- (Q5089021) (← links)
- (Q5094133) (← links)
- (Q5357721) (← links)