Contextual equivalence for higher-order pi-calculus revisited.

Alan Jeffrey Julian Rathke

Published in: Log. Methods Comput. Sci. (2005)

Keyphrases

higher order
lambda calculus
natural images
high order
contextual information
markov random field
low order
computer algebra
pairwise
programming language
markov models
automated deduction
input image
mobile devices
neural network
context sensitive
lower order
proof procedure
algebraic structure