Least fixed points revisited.

J. W. de Bakker

Published in: Lambda-Calculus and Computer Science Theory (1975)

Keyphrases

fixed point
sufficient conditions
temporal difference learning
belief propagation
initial conditions
approximate value iteration
computer vision
linear logic
asymptotic properties
three dimensional
dynamical systems