Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic.
Pablo ArrighiAlejandro Díaz-CaroPublished in: Electron. Notes Theor. Comput. Sci. (2011)
Keyphrases
- computer algebra
- algebraic structure
- quantum computation
- logic circuits
- formal language
- natural deduction
- proof procedure
- logic synthesis
- proof search
- asynchronous circuits
- real world
- higher order
- logic programming
- closed form
- predicate calculus
- predicate logic
- classical logic
- logical framework
- automated reasoning
- linear constraints
- physical world
- neural network
- multi valued
- linear systems
- proof theory
- multiscale
- sequent calculus
- quantum computing
- low power
- shift register
- modal logic