Computational Interpretations of Classical Linear Logic.

Published in: WoLLIC (2007)

Keyphrases

linear logic
logic programming
proof theoretic
fixed point
desirable properties
logical framework
sequent calculus
intuitionistic logic
higher order
cut elimination
artificial intelligence
multi agent