Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory.
Romain PéchouxSimon PerdrixMathys RennelaVladimir ZamdzhievPublished in: FoSSaCS (2020)
Keyphrases
- data types
- quantum computing
- quantum mechanics
- theoretical framework
- causal reasoning
- probability ranking principle
- abstract data types
- programming language
- data structure
- affine invariant
- inductive reasoning
- databases
- general purpose
- computational model
- data model
- relational databases
- feature extraction
- neural network
- quantum computation
- database