Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types

Published in: FICS (2012)

Keyphrases

fixed point
linear logic
dynamical systems
approximate value iteration
asymptotic properties
sufficient conditions
temporal difference learning
machine learning
belief propagation
knowledge representation
neural network
multi view