Interaction Graphs: Full Linear Logic.

Published in: CoRR (2015)

Keyphrases

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