Polynomial time in untyped elementary linear logic.

Olivier Laurent

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

Keyphrases

linear logic
fixed point
cut elimination
special case
logic programming
sequent calculus
desirable properties
logical framework
intuitionistic logic
proof search
computational complexity
proof theoretic
pairwise
general purpose