A compositional logic for polymorphic higher-order functions.

Kohei Honda Nobuko Yoshida

Published in: PPDP (2004)

Keyphrases

higher order
higher order logic
lambda calculus
multi valued
natural images
markov random field
high order
pairwise
logic programming
modal logic
low order
genetic algorithm
search engine
information systems
conditional random fields
relational structures