Proof nets through the lens of graph theory: a compilation of remarks

12/23/2019

∙

by   Lê Thành Dũng Nguyên, et al.

∙

0

∙

share

This document is intended to eventually gather a few small remarks on the theory of proof nets and correctness criteria that I have never published. For now the only written part is about Retoré's pomset logic.