Fixed Points of Type Constructors and Primitive Recursion.

Andreas Abel Ralph Matthes

Published in: CSL (2004)

Keyphrases

fixed point
sufficient conditions
linear logic
dynamical systems
asymptotic properties
approximate value iteration
initial conditions
free energy
temporal difference learning
description logics
unsupervised learning