Contextual Equivalence for Higher-Order π-Calculus Revisited.

Alan Jeffrey Julian Rathke

Published in: MFPS (2003)

Keyphrases

higher order
contextual information
high order
lambda calculus
natural images
low order
markov random field
pairwise
context sensitive
formal language
algebraic structure
computer algebra
context dependent
markov models
context aware
bayesian networks
genetic algorithm
information retrieval