Cartesian closed 2-categories and permutation equivalence in higher-order rewriting.

Tom Hirschowitz

Published in: Log. Methods Comput. Sci. (2013)

Keyphrases

higher order
datalog programs
natural images
markov random field
pairwise
high order
lambda calculus
low order
rewrite rules
conditional random fields
queries using views
query rewriting
queueing networks
polar coordinates
regular path queries
databases
broad categories
doubly stochastic