Proof nets through the lens of graph theory: a compilation of remarks
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.
READ FULL TEXT