Applying quantitative semantics to higher-order quantum computing (Q5408456)
From MaRDI portal
scientific article; zbMATH DE number 6282458
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Applying quantitative semantics to higher-order quantum computing |
scientific article; zbMATH DE number 6282458 |
Statements
Applying quantitative semantics to higher-order quantum computing (English)
0 references
10 April 2014
0 references
categorical model
0 references
completely positive maps
0 references
functional programming
0 references
higher-order quantum computation
0 references
