Two linearities for quantum computing in the lambda calculus.
Alejandro Díaz-CaroGilles DowekJuan Pablo RinaldiPublished in: Biosyst. (2019)
Keyphrases
- quantum computing
- lambda calculus
- programming language
- quantum inspired
- quantum evolutionary algorithm
- predicate calculus
- quantum mechanics
- mobile computing
- complex objects
- database query languages
- program understanding
- higher order
- source code
- open source
- metadata
- design process
- database
- particle swarm optimization
- knowledge base
- machine learning