Explicit substitutions and higher-order syntax.

Neil Ghani Tarmo Uustalu Makoto Hamana

Published in: High. Order Symb. Comput. (2006)

Keyphrases

higher order
natural images
high order
pairwise
natural language
lambda calculus
lower order
high level
markov models
predicate calculus
anti unification
video sequences
bayesian networks
conditional random fields
case study
low order
image processing
information systems