S. Abramsky, Sequentiality vs. Concurrency in Games and Logic, Mathematical Structures in Computer Science, vol.13, issue.4, pp.531-565, 2003.

L. Caires and F. Pfenning, Session types as intuitionistic linear propositions, CONCUR, vol.6269, pp.222-236, 2010.

R. Cockett and L. Santocanale, On the Word Problem for ??-Categories, and the Properties of Two-Way Communication, Computer Science Logic (CSL), 18th Annual Conference of the EACSL, pp.194-208, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00374654

V. Danos, La Logique Linéaire appliquée à l'étude de divers processus de normalisation (principalement du Lambda-calcul), 1990.

V. Danos and L. Regnier, The structure of multiplicatives, Archive for Mathematical Logic, vol.28, pp.181-203, 1989.

D. Galmiche and J. Marion, Semantic Proof Search Methods for ALL -a first approach -. Short paper in Theorem Proving with Analytic Tableaux, 4th International Workshop (TABLEAUX'95). Available from the first author's webpage, 1995.

J. Girard, Linear Logic. Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.

J. Girard, Proof-nets: the parallel syntax for proof-theory. Logic and Algebra, pp.97-124, 1996.

S. Guerrini and A. Masini, Parsing MELL proof nets, Theoretical Computer Science, vol.254, issue.1-2, pp.317-335, 2001.

W. Heijltjes, Classical proof forestry, Ann. Pure Appl. Logic, vol.161, issue.11, pp.1346-1366, 2010.

W. Heijltjes, Proof nets for additive linear logic with units, 26th Annual IEEE Symposium on Logic in Computer Science (LICS), pp.207-216, 2011.

W. Heijltjes and D. J. Hughes, Complexity bounds for sum-product logic via additive proof nets and Petri nets, 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp.80-91, 2015.

W. Heijltjes, J. D. Dominic, L. Hughes, and . Straßburger, URL: hal.inria.fr/hal-01867625/. 22:18 Proof Nets for First-Order Additive Linear Logic 14 Jacques Herbrand. Investigations in proof theory: The properties of true propositions, INRIA, pp.525-581, 1967.

S. Hetzl, A sequent calculus with implicit term representation, Computer Science Logic (CSL), vol.6247, pp.351-365, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00498707

K. Honda, V. Vasconcelos, and M. Kubo, Language primitives and type disciplines for structured communication-based programming, European Symposium on Programming, pp.122-138, 1998.

J. D. Dominic and . Hughes, Proofs Without Syntax. Annals of Mathematics, vol.164, issue.3, pp.1065-1076, 2006.

J. D. Dominic and . Hughes, Unification nets: canonical proof net quantifiers, 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2018.

J. D. Dominic and . Hughes, First-order proofs without syntax. Available at arXiv.org, 2019.

J. D. Dominic, W. Hughes, and . Heijltjes, Conflict nets: efficient locally canonical MALL proof nets, 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016.

J. D. Dominic, R. Hughes, and . Van-glabbeek, Proof nets for unit-free multiplicative-additive linear logic, Transactions on Computational Logic, vol.6, issue.4, pp.784-842, 2005.

A. Joyal, Free Lattices, Communication and Money Games, Proc. 10th Int. Cong. of Logic, Methodology and Philosophy of Science, 1995.

J. Lambek, Deductive Systems and Categories I, II, III. Theory of Computing Systems (I), Lecture Notes in Mathematics, pp.1968-1972

R. Maieli, Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic, 14th Int. Conf. Logic for Programming Artificial Intelligence and Reasoning (LPAR), pp.363-377, 2007.

D. Miller, A Compact Representation of Proofs, Studia Logica, vol.46, issue.4, pp.347-370, 1987.

S. Mimram, The Structure of First-Order Causality, Mathematical Structures in Computer Science, vol.21, issue.1, pp.65-110, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00411399

L. Straßburger, A Characterisation of Medial as Rewriting Rule, Term Rewriting and Applications, RTA'07, vol.4533, pp.344-358, 2007.

P. Wadler, 22:22 Proof Nets for First-Order Additive Linear Logic, Journal of Functional Programming, vol.24, issue.2-3, pp.384-418, 2014.