The following pages link to Quantum Programs as Kleisli Maps (Q5014792):
Displaying 8 items.
- A non-commutative Bayes' theorem (Q2125668) (← links)
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- Quantum programming with inductive datatypes: causality and affine type theory (Q2200848) (← links)
- Complete positivity and natural representation of quantum computations (Q2520702) (← links)
- An algebra of pure quantum programming (Q2864167) (← links)
- (Q3560843) (← links)
- Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation (Q5237220) (← links)
- Invariants of quantum programs: characterisations and generation (Q5370916) (← links)