Proof nets through the lens of graph theory: a compilation of remarks.
Lê Thành Dũng Nguyễn · arXiv (Cornell University) · 2019
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 Retore's pomset logic.