Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory.
Romain PéchouxSimon PerdrixMathys RennelaVladimir ZamdzhievPublished in: CoRR (2019)
Keyphrases
- data types
- quantum computing
- data model
- causal reasoning
- probability ranking principle
- data structure
- theoretical framework
- affine transformation
- database systems
- quantum mechanics
- database management systems
- affine invariant
- general theory
- inductive learning
- abstract data types
- knowledge representation
- programming environment
- concept learning
- machine learning
- programming language
- deductive reasoning
- piecewise affine
- genetic algorithm