Parametrized Fixed Points and Their Applications to Session Types.

Published in: MFPS (2020)

Keyphrases

fixed point
linear logic
dynamical systems
initial conditions
approximate value iteration
belief propagation
sufficient conditions
free energy
temporal difference learning
asymptotic properties
image segmentation
objective function