Interaction Graphs: Full Linear Logic.

Published in: LICS (2016)

Keyphrases

linear logic
fixed point
proof theoretic
logic programming
sequent calculus
graph matching
desirable properties
logical framework
cut elimination
intuitionistic logic
inference rules
general purpose