Sequentiality vs. Concurrency in Games and Logic, Mathematical Structures in Computer Science, vol.13, issue.4, pp.531-565, 2003. ,
Session types as intuitionistic linear propositions, CONCUR, vol.6269, pp.222-236, 2010. ,
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
La Logique Linéaire appliquée à l'étude de divers processus de normalisation (principalement du Lambda-calcul), 1990. ,
The structure of multiplicatives, Archive for Mathematical Logic, vol.28, pp.181-203, 1989. ,
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. ,
, Linear Logic. Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
Proof-nets: the parallel syntax for proof-theory. Logic and Algebra, pp.97-124, 1996. ,
Parsing MELL proof nets, Theoretical Computer Science, vol.254, issue.1-2, pp.317-335, 2001. ,
Classical proof forestry, Ann. Pure Appl. Logic, vol.161, issue.11, pp.1346-1366, 2010. ,
Proof nets for additive linear logic with units, 26th Annual IEEE Symposium on Logic in Computer Science (LICS), pp.207-216, 2011. ,
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. ,
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. ,
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
Language primitives and type disciplines for structured communication-based programming, European Symposium on Programming, pp.122-138, 1998. ,
, Proofs Without Syntax. Annals of Mathematics, vol.164, issue.3, pp.1065-1076, 2006.
Unification nets: canonical proof net quantifiers, 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2018. ,
, First-order proofs without syntax. Available at arXiv.org, 2019.
Conflict nets: efficient locally canonical MALL proof nets, 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016. ,
Proof nets for unit-free multiplicative-additive linear logic, Transactions on Computational Logic, vol.6, issue.4, pp.784-842, 2005. ,
Free Lattices, Communication and Money Games, Proc. 10th Int. Cong. of Logic, Methodology and Philosophy of Science, 1995. ,
Deductive Systems and Categories I, II, III. Theory of Computing Systems (I), Lecture Notes in Mathematics, pp.1968-1972 ,
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. ,
A Compact Representation of Proofs, Studia Logica, vol.46, issue.4, pp.347-370, 1987. ,
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
A Characterisation of Medial as Rewriting Rule, Term Rewriting and Applications, RTA'07, vol.4533, pp.344-358, 2007. ,
22:22 Proof Nets for First-Order Additive Linear Logic, Journal of Functional Programming, vol.24, issue.2-3, pp.384-418, 2014. ,