Monotone Fixed-Point Types and Strong Normalization.

Published in: CSL (1998)

Keyphrases

fixed point
floating point
sufficient conditions
fixed point theorem
dynamical systems
belief propagation
variational inequalities
upper bound
policy iteration
database
three dimensional