On Coinduction and Quantum Lambda Calculi.
Yuxin DengYuan FengUgo Dal LagoPublished in: CONCUR (2015)
Keyphrases
- quantum computation
- quantum computing
- fixed point
- quantum inspired
- qualitative spatial and temporal reasoning
- reasoning problems
- real time
- sequent calculi
- expert systems
- quantum mechanics
- quantum evolutionary algorithm
- lambda calculus
- logic circuits
- probabilistic model
- database systems
- case study
- decision making
- neural network