Pages that link to "Item:Q283772"
From MaRDI portal
The following pages link to Towards a quantum domain theory: order-enrichment and fixpoints in \(W^*\)-algebras (Q283772):
Displaying 10 items.
- Semantics for a quantum programming language by operator algebras (Q1670504) (← links)
- Classical control and quantum circuits in enriched category theory (Q2130598) (← links)
- Quantum programming with inductive datatypes: causality and affine type theory (Q2200848) (← links)
- Complete positivity and natural representation of quantum computations (Q2520702) (← links)
- (Q4611384) (← links)
- Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras (Q5014789) (← links)
- Total and Partial Computation in Categorical Quantum Foundations (Q5015192) (← links)
- (Q5020629) (← links)
- (Q5109520) (← links)
- Inversion, Iteration, and the Art of Dual Wielding (Q5237212) (← links)
