New Curry-Howard Terms for Full Linear Logic.

David W. Albrecht John N. Crossley John S. Jeavons

Published in: Theor. Comput. Sci. (1997)

Keyphrases

linear logic
reinforcement learning
logic programming
sequent calculus
cut elimination
machine learning
dynamic programming