An Algebraic Semantics of Higher-Order Types with Subtypes.

Published in: Acta Informatica (1993)

Keyphrases

higher order
pairwise
natural images
high order
learning algorithm
hidden markov models
logic programming
higher order logic
machine learning
information retrieval
bayesian networks
markov random field
semantic information
multiple types
formal semantics
lambda calculus