Non-Well-Founded Sets Obtained from Ideal Fixed Points

Michael W. Mislove Lawrence S. Moss Frank J. Oles

Published in: LICS (1989)

Keyphrases

fixed point
dynamical systems
linear logic
sufficient conditions
image processing
reinforcement learning
lower bound
dynamic programming
game playing
free energy
stationary points
asymptotic properties