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.
Please sign up or login with your details
Become a DeepAI PRO
Pay as you go
Out of credits