Fixed point theorems for precomplete numberings.

Henk Barendregt Sebastiaan A. Terwijn

Published in: Ann. Pure Appl. Log. (2019)

Keyphrases

fixed point
fixed point theorem
sufficient conditions
dynamical systems
belief propagation
constraint databases
variational inequalities
free energy
bargaining solution
bayesian networks
relational databases
higher order
floating point