A Categorical Semantics of Higher Order Store.

Published in: CTCS (2002)

Keyphrases

higher order
higher order logic
high order
formal semantics
markov random field
pairwise
natural images
logic programming
conditional random fields
database
model theoretic
lambda calculus
multiscale
cluster analysis
predicate calculus