Login / Signup
Functional pearl: streams and unique fixed points.
Ralf Hinze
Published in:
ICFP (2008)
Keyphrases
</>
fixed point
sufficient conditions
temporal difference learning
asymptotic properties
approximate value iteration
data streams
dynamical systems
linear logic
belief propagation
linear regression
free energy
computer vision
optimal solution
belief revision
initial conditions