Induction, Coinduction, and Fixed Points in PL Type Theory.

Moez A. AbdelGawad

Published in: CoRR (2019)

Keyphrases

fixed point
initial conditions
approximate value iteration
sufficient conditions
linear logic
machine learning
dynamical systems
temporal difference learning
neural network
free energy
state space