Functional Interpretations of Intuitionistic Linear Logic

Gilda Ferreira Paulo Oliva

Published in: Log. Methods Comput. Sci. (2011)

Keyphrases

linear logic
fixed point
sequent calculus
logic programming
cut elimination
desirable properties
proof theoretic
intuitionistic logic
inference rules
proof search
video sequences
logical framework
probabilistic model
logic programs