Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs (Q5145368)
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: Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs |
scientific article; zbMATH DE number 7298814
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs |
scientific article; zbMATH DE number 7298814 |
Statements
Species, Profunctors and Taylor Expansion Weighted by SMCC (English)
0 references
20 January 2021
0 references
generalised species
0 references
quantitative model
0 references
quantum computation
0 references
rigid resource calculus
0 references
weighted species
0 references
0.7505698204040527
0 references
0.7172273993492126
0 references
0.7051465511322021
0 references
0.703464686870575
0 references
0.6935592293739319
0 references
