Interaction Graphs: Full Linear Logic
2016
LICS2016
https://arxiv.org/abs/1504.04152
graph
linear logic
logic
proof nets