Sign in
Parametrized Fixed Points and Their Applications to Session Types.
Ryan Kavanagh
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