Girard's $!()$ as a reversible fixed-point operator.

Published in: CoRR (2013)

Keyphrases

fixed point
sufficient conditions
floating point
markov chain
dynamical systems
belief propagation
constraint databases
fixed point theorem
least squares
search space
free energy