Proving the unique fixed-point principle correct: an adventure with category theory.

Ralf Hinze Daniel W. H. James

Published in: ICFP (2011)

Keyphrases

fixed point
free energy
floating point
sufficient conditions
belief propagation
dynamical systems
bargaining solution
reinforcement learning
constraint databases
image registration
variational inequalities