Proof nets of PN as graphs

Eric Duquesne, Jacques Van de Wiele. Proof nets of PN as graphs. Arch. Math. Log., 34(1):1-20, 1995. [doi]

Abstract

Abstract is missing.