D. A. Barrington, N. Immerman, and &. Straubing, On uniformity within NC1, Journal of Computer and System Sciences, vol.41, issue.3, pp.274-306, 1990.
DOI : 10.1016/0022-0000(90)90022-D

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

V. Danos and &. Laurent-regnier, The structure of multiplicatives, Archive for Mathematical Logic, vol.28, issue.3, pp.181-20310, 1989.
DOI : 10.1007/BF01622878

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

W. Hesse, E. Allender, &. David, and A. M. Barrington, Uniform constant-depth threshold circuits for division and iterated multiplication, Journal of Computer and System Sciences, vol.65, issue.4, pp.695-716, 2002.
DOI : 10.1016/S0022-0000(02)00025-9

V. Mogbil, Non-deterministic Boolean Proof Nets, Proceedings of FOPARA'09. Lecture Notes in Computer Science 6324, pp.131-145, 2009.
DOI : 10.1007/978-3-642-15331-0_9
URL : https://hal.archives-ouvertes.fr/hal-00122981

V. Mogbil and &. Vincent-rahli, Uniform Circuits, & Boolean Proof Nets, Proceedings of LFCS'07, pp.401-421, 2007.
DOI : 10.1007/978-3-540-72734-7_28
URL : https://hal.archives-ouvertes.fr/hal-00122980

K. Terui, Proof nets and Boolean circuits, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004., pp.182-191, 2004.
DOI : 10.1109/LICS.2004.1319612

H. Vollmer, Introduction to Circuit Complexity: A Uniform Approach, 1999.
DOI : 10.1007/978-3-662-03927-4