Lambda theories allowing terms with a finite number of fixed points.

Benedetto Intrigila Richard Statman

Published in: Math. Struct. Comput. Sci. (2017)

Keyphrases

fixed point
finite number
dynamical systems
sufficient conditions
initial conditions
belief propagation
temporal difference learning
convex sets
extreme points
approximate value iteration
graphical models
stationary points
linear logic
closure operator