Categorical Fixed Point Calculus.

Roland Carl Backhouse Marcel Bijsterveld Rik van Geldrop Jaap van der Woude

Published in: Category Theory and Computer Science (1995)

Keyphrases

fixed point
sufficient conditions
dynamical systems
belief propagation
floating point
variational inequalities
linear logic
bargaining solution
high quality
post processing
fixed point theorem