Pages that link to "Item:Q3625676"
From MaRDI portal
The following pages link to On a measurement-free quantum lambda calculus with classical control (Q3625676):
Displaying 11 items.
- Quantum implicit computational complexity (Q1044836) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- Formalization of metatheory of the Quipper quantum programming language in a linear logic (Q2331074) (← 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)
- Confluence results for a quantum lambda calculus with measurements (Q2825377) (← links)
- On quantum lambda calculi: a foundational perspective (Q2973238) (← links)
- $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations (Q2988843) (← links)
- (Q5015214) (← links)
- Typing Quantum Superpositions and Measurement (Q5055990) (← links)
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Q5056005) (← links)