Functional Interpretations of Intuitionistic Linear Logic.

Gilda Ferreira Paulo Oliva

Published in: CSL (2009)

Keyphrases

linear logic
fixed point
logic programming
cut elimination
sequent calculus
proof theoretic
logical framework
desirable properties
proof search
intuitionistic logic
decision makers
inference rules
high level
expert systems
state space