Operational Interpretations of Linear Logic.

David N. Turner Philip Wadler

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

Keyphrases

linear logic
fixed point
cut elimination
logic programming
proof theoretic
decision making
logical framework
intuitionistic logic
desirable properties
sequent calculus
proof search
machine learning