A Complete Calculus of Monotone and Antitone Higher-Order Functions.

Thomas Icard Lawrence S. Moss

Published in: TACL (2013)

Keyphrases

higher order
high order
provably correct
data mining
natural images
lambda calculus
objective function
markov random field
low order
database
similarity measure
upper bound
programming language
basis functions
boolean functions
formal language