Semantics of Higher-Order Quantum Computation via Geometry of Interaction.
Ichiro HasuoNaohiko HoshinoPublished in: CoRR (2016)
Keyphrases
- higher order
- quantum computation
- higher order logic
- high order
- pairwise
- markov random field
- natural images
- conditional random fields
- formal semantics
- user interaction
- human interaction
- semantic information
- speech acts
- human robot interaction
- geometric constraints
- real time
- human computer interaction
- logic programming
- graphical models
- three dimensional