The following pages link to (Q3560839):
Displaying 15 items.
- On block structures in quantum computation (Q265814) (← links)
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Quantum computation: from a programmer's perspective (Q468591) (← links)
- Semantics for a quantum programming language by operator algebras (Q1670504) (← links)
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target (Q2412588) (← links)
- $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations (Q2988843) (← links)
- (Q3384929) (← links)
- A Categorical Model for a Quantum Circuit Description Language (Extended Abstract) (Q3384934) (← links)
- Presheaf Models of Quantum Computation: An Outline (Q4922081) (← links)
- (Q5018491) (← links)
- Typing Quantum Superpositions and Measurement (Q5055990) (← links)
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Q5056005) (← links)
- Distributed Strategies Made Easy (Q5111299) (← links)