Measurements in Proof Nets as Higher-Order Quantum Circuits.
Akira YoshimizuIchiro HasuoClaudia FaggianUgo Dal LagoPublished in: ESOP (2014)
Keyphrases
- higher order
- quantum computing
- logic circuits
- higher order logic
- logic synthesis
- quantum inspired
- pairwise
- high order
- quantum evolutionary algorithm
- lambda calculus
- natural images
- low order
- linear logic
- high speed
- markov random field
- theorem proving
- lower order
- quantum mechanics
- database
- theorem prover
- tunnel diode
- evolutionary algorithm
- analog vlsi
- delay insensitive
- low power
- asynchronous circuits
- circuit design
- measured data
- mobile computing