Least and Greatest Fixed Points in Linear Logic.

David Baelde Dale Miller

Published in: LPAR (2007)

Keyphrases

linear logic
fixed point
logic programming
sequent calculus
cut elimination
sufficient conditions
desirable properties
logical framework
approximate value iteration
dynamical systems
machine learning
semi supervised
inference rules