Quantum programming with inductive datatypes: causality and affine type theory (Q2200848)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Quantum programming with inductive datatypes: causality and affine type theory |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0 references
0.7346336245536804
0 references
0.7336539626121521
0 references
0.724557638168335
0 references
0.714177668094635
0 references
