Pages that link to "Item:Q1670504"
From MaRDI portal
The following pages link to Semantics for a quantum programming language by operator algebras (Q1670504):
Displaying 18 items.
- Towards a quantum domain theory: order-enrichment and fixpoints in \(W^*\)-algebras (Q283772) (← links)
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Formal semantics of a classical-quantum language (Q2123052) (← links)
- Quantum programming with inductive datatypes: causality and affine type theory (Q2200848) (← links)
- Formal meta-level analysis framework for quantum programming languages (Q2333324) (← links)
- Algebraic effects, linearity, and quantum programming languages (Q2819826) (← links)
- Operator algebras and the operational semantics of probabilistic languages (Q2863887) (← links)
- An algebra of pure quantum programming (Q2864167) (← links)
- A hierarchy of quantum semantics (Q2864503) (← links)
- (Q3560843) (← links)
- Ordering quantum states and channels based on positive Bayesian evidence (Q4556627) (← links)
- An Algebraic Language for Distributed Quantum Computing (Q4974941) (← links)
- Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras (Q5014789) (← links)
- Quantum Programs as Kleisli Maps (Q5014792) (← links)
- (Q5014793) (← links)
- Natural Quantum Operational Semantics with Predicates (Q5324519) (← links)
- Applying quantitative semantics to higher-order quantum computing (Q5408456) (← links)
- A computer scientist’s reconstruction of quantum theory* (Q5876440) (← links)