Pages that link to "Item:Q3384934"
From MaRDI portal
The following pages link to A Categorical Model for a Quantum Circuit Description Language (Extended Abstract) (Q3384934):
Displaying 14 items.
- Proto-Quipper-M (Q1334178) (← links)
- Modality via iterated enrichment (Q2134835) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- Formalization of metatheory of the Quipper quantum programming language in a linear logic (Q2331074) (← links)
- (Q5018491) (← links)
- (Q5019687) (← links)
- (Q5020949) (← links)
- Linear Dependent Type Theory for Quantum Programming Languages (Q5043587) (← links)
- (Q5109520) (← links)
- Software science view on quantum circuit algorithms (Q6040659) (← links)
- Quantum Suplattices (Q6200522) (← links)
- Semantics for a lambda calculus for string diagrams (Q6612802) (← links)
- Quantum CPOs (Q6645582) (← links)
- Quantum Hoare type theory: extended abstract (Q6645590) (← links)
