Contextual equivalence for higher-order pi-calculus revisited

Alan Jeffrey Julian Rathke

Published in: CoRR (2005)

Keyphrases

higher order
contextual information
lambda calculus
high order
natural images
low order
lower order
pairwise
context sensitive
context dependent
conditional random fields
markov models
formal language
markov random field
inductive learning
automated deduction
computer algebra
anti unification
neural network