Semantics of Higher-Order Quantum Computation via Geometry of Interaction.

Ichiro Hasuo Naohiko Hoshino

Published in: LICS (2011)

Keyphrases

higher order
quantum computation
higher order logic
high order
formal semantics
pairwise
three dimensional
markov random field
natural images
user interaction
semantic information
human interaction
similarity measure
human computer interaction
model theoretic