Galois Connections and Fixed Point Calculus.

Roland Carl Backhouse

Published in: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000)

Keyphrases

fixed point
formal concept analysis
sufficient conditions
dynamical systems
closure operator
belief propagation
fixed point theorem
graphical models
variational inequalities
computer vision
floating point
constraint databases
linear logic