Strong polynomial bound for light linear logic by levels

Matthieu Perrinel

Published in: CoRR (2012)

Keyphrases

linear logic
logical framework
lower bound
fixed point
proof theoretic
desirable properties
logic programming
cut elimination
upper bound
worst case
low degree
sequent calculus
graph cuts
inference rules
intuitionistic logic