Quantum programming with inductive datatypes: causality and affine type theory (Q2200848)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantum programming with inductive datatypes: causality and affine type theory |
scientific article |
Statements
Quantum programming with inductive datatypes: causality and affine type theory (English)
0 references
23 September 2020
0 references
quantum programming
0 references
inductive types
0 references
adequacy
0 references
0 references
