Pages that link to "Item:Q2200848"
From MaRDI portal
The following pages link to Quantum programming with inductive datatypes: causality and affine type theory (Q2200848):
Displaying 11 items.
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- (Q4989404) (← links)
- Complexity of Grammar Induction for Quantum Types (Q4997295) (← links)
- (Q5019687) (← links)
- (Q5020949) (← links)
- (Q5109520) (← links)
- A computer scientist’s reconstruction of quantum theory* (Q5876440) (← links)
- Type-safe quantum programming in Idris (Q6535254) (← links)
- Semantics for a lambda calculus for string diagrams (Q6612802) (← links)
- Quantum CPOs (Q6645582) (← links)
- Quantum expectation transformers for cost analysis (Q6649439) (← links)