Least and Greatest Fixed Points in Linear Logic.

Published in: ACM Trans. Comput. Log. (2012)

Keyphrases

linear logic
fixed point
logic programming
cut elimination
sequent calculus
sufficient conditions
dynamical systems
neural network
temporal difference learning
asymptotic properties
approximate value iteration
markov random field
belief propagation
desirable properties
inference rules
logical framework