A Core Calculus of Higher-Order Mixins and Classes.

Lorenzo Bettini Viviana Bono Silvia Likavec

Published in: TYPES (2003)

Keyphrases

higher order
natural images
high order
pairwise
lambda calculus
markov random field
logic programs
neural network
social networks
image segmentation
natural language
hidden markov models
markov models
low order
automated deduction