Girard 1987 / Danos-Regnier 1989: graph-theoretic proofs in linear-logic without unnecessary sequential ordering. Foundation of geometry-of-interaction.
Girard 1987 / Danos-Regnier 1989: graph-theoretic proofs in linear-logic without unnecessary sequential ordering. Foundation of geometry-of-interaction.