A Higher-Order Calculus for Categories.

Mario Cáccamo Glynn Winskel

Published in: TPHOLs (2001)

Keyphrases

higher order
lambda calculus
pairwise
natural images
high order
markov models
markov random field
machine learning
artificial intelligence
real time
data mining
object recognition
lower order
automated deduction
algebraic structure
higher order cliques