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 4 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)
