Normalisation for higher-order calculi with explicit substitutions.

Eduardo Bonelli

Published in: Theor. Comput. Sci. (2005)

Keyphrases

higher order
high order
natural images
markov random field
low order
neural network
pairwise
conditional random fields
data sets
artificial intelligence
website
database systems
fuzzy logic
vague concepts
sequent calculi