Higher-order abstract syntax: setting the record straight.

Karl Crary Robert Harper

Published in: SIGACT News (2006)

Keyphrases

higher order
high order
high level
natural images
markov random field
pairwise
database
neural network
low order
markov models
higher level
low level
multi agent
multiscale
first order logic
conditional random fields
bayesian networks
straight line
computer vision
machine learning
precisely defined
lambda calculus