Christian Retoré. Réseaux et séquents ordonnés. (Ordered sequents and proof nets). PhD thesis, Paris Diderot University, France, 1993. [doi]
@phdthesis{hal-11782, title = {Réseaux et séquents ordonnés. (Ordered sequents and proof nets)}, author = {Christian Retoré}, year = {1993}, url = {https://tel.archives-ouvertes.fr/tel-00585634}, researchr = {https://researchr.org/publication/hal-11782}, cites = {0}, citedby = {0}, school = {Paris Diderot University, France}, }