Modular Construction of Fixed Point Combinators and Clocked Bohm Trees.

Jörg Endrullis Dimitri Hendriks Jan Willem Klop

Published in: LICS (2010)

Keyphrases

fixed point
sufficient conditions
floating point
fixed point theorem
dynamical systems
belief propagation
free energy
bargaining solution
computer vision
higher order
multi view
policy iteration