Pages that link to "Item:Q5043587"
From MaRDI portal
The following pages link to Linear Dependent Type Theory for Quantum Programming Languages (Q5043587):
Displaying 5 items.
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- Complexity of Grammar Induction for Quantum Types (Q4997295) (← links)
- Linear Dependent Type Theory for Quantum Programming Languages (Q5043587) (← links)
- (Q5145653) (redirect page) (← links)
- Quantum Hoare type theory: extended abstract (Q6645590) (← links)