Computational expressivity of (circular) proofs with fixed points.

Gianluca Curzi Anupam Das

Published in: LICS (2023)

Keyphrases

fixed point
dynamical systems
belief propagation
linear logic
initial conditions
temporal difference learning
asymptotic properties
approximate value iteration
sufficient conditions
free energy
stationary points
image processing