Semantics of higher-order quantum computation via geometry of interaction.

Ichiro Hasuo Naohiko Hoshino

Published in: Ann. Pure Appl. Log. (2017)

Keyphrases

higher order
quantum computation
higher order logic
pairwise
natural images
lambda calculus
three dimensional
high order
formal semantics
user interaction
conceptual graphs
databases
logic programming
geometric structure
human robot interaction
semantic information
lower order
markov random field
metadata
real time