CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms.

Published in: POPL (1994)

Keyphrases

higher order
lambda calculus
communication systems
pairwise
high order
machine learning
information retrieval
learning algorithm
website
co occurrence
markov random field
natural images
fixed point
communication networks
low order