Taking Linear Logic Apart.

Wen Kokke Fabrizio Montesi Marco Peressotti

Published in: Linearity-TLLA@FLoC (2018)

Keyphrases

linear logic
fixed point
logic programming
intuitionistic logic
sequent calculus
cut elimination
logical framework
proof search
proof theoretic
higher order
inference rules