M. Nielsen and I. Chuang, Quantum Computation and Quantum Information, 2000.

S. Abramsky and B. Coecke, A categorical semantics of quantum protocols, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004., pp.415-425, 2004.
DOI : 10.1109/LICS.2004.1319636

S. Abramsky and B. Coecke, Physics from computer science, International Journal of Unconventional Computing, vol.3, pp.179-197, 2007.

J. Lambek and P. Scott, Introduction to Higher-order Categorical Logic, 1986.

J. Y. Girard, Linear Logic: its syntax and semantics, Advances in Linear Logic. Number 222 in LMS Lecture Note Series, pp.1-42, 1995.
DOI : 10.1017/CBO9780511629150.002

R. Blute, I. Ivanov, and P. Panangaden, Discrete quantum causal dynamics, International Journal of Theoretical Physics, vol.42, issue.9, pp.2025-2041, 2003.
DOI : 10.1023/A:1027335119549

F. Markopoulou, Quantum causal histories, Classical and Quantum Gravity, vol.17, issue.10, pp.2059-2077, 2000.
DOI : 10.1088/0264-9381/17/10/302

R. F. Blute, I. T. Ivanov, and P. Panangaden, Discrete quantum causal dynamics, 2001.

A. Guglielmi, A system of interaction and structure, ACM Transactions on Computational Logic, vol.8, issue.1, pp.1-64, 2007.
DOI : 10.1145/1182613.1182614
URL : https://hal.archives-ouvertes.fr/inria-00441254

A. Guglielmi, Deep inference
URL : https://hal.archives-ouvertes.fr/inria-00441211

R. Sorkin, Spacetime and causal sets, Classical and Quantum. World Scientific, 1991.

J. Y. Girard, Y. Lafont, and P. Taylor, Proofs and Types. Cambridge Tracts in Theoretical Computer Science, 1989.

M. Szabo, Polycategories, Communications in Algebra, vol.3, issue.8, pp.663-689, 1975.
DOI : 10.1305/ndjfl/1093891297

R. Blute, J. Cockett, R. Seely, and T. Trimble, Natural deduction and coherence for weakly distributive categories, Journal of Pure and Applied Algebra, vol.113, issue.3, pp.229-296, 1996.
DOI : 10.1016/0022-4049(95)00159-X

K. Brünnler, Locality for Classical Logic, Notre Dame Journal of Formal Logic, vol.47, issue.4, pp.557-580, 2006.
DOI : 10.1305/ndjfl/1168352668

A. Tiu, A Local System for Intuitionistic Logic, Lecture Notes in Computer Science, vol.4246, pp.242-256, 2006.
DOI : 10.1007/11916277_17

N. Guenot, Nested Deduction in Logical Foundations for Computation, 2013.
URL : https://hal.archives-ouvertes.fr/pastel-00929908

L. Straßburger, A Local System for Linear Logic, Lecture Notes in Computer Science, vol.2514, pp.388-402, 2002.
DOI : 10.1007/3-540-36078-6_26

L. Straßburger, MELL in the calculus of structures, Theoretical Computer Science, vol.309, issue.1-3, pp.213-285, 2003.
DOI : 10.1016/S0304-3975(03)00240-8

K. Brünnler, Deep sequent systems for modal logic Advances in Modal Logic, 2006.

L. Straßburger, Cut Elimination in Nested Sequents for Intuitionistic Modal Logics, Foundations of Software Science and Computation Structures , 16th International Conference (FOSSACS, pp.209-224, 2013.
DOI : 10.1007/978-3-642-37075-5_14

A. Tiu, A System of Interaction and Structure II: The Need for Deep Inference, Logical Methods in Computer Science, vol.2, issue.2, pp.4-2006
DOI : 10.2168/LMCS-2(2:4)2006

O. Kahramano?-gullar?, System BV is NP-complete, Annals of Pure and Applied Logic, vol.152, pp.1-3

L. Straßburger, Linear Logic and Noncommutativity in the Calculus of Structures, 2003.

L. Straßburger and A. Guglielmi, A system of interaction and structure IV: The exponentials and decomposition, ACM Trans. Comput. Log, vol.12, issue.4, p.23, 2011.

R. F. Blute, P. Panangaden, and S. Slavnov, Deep Inference and Probabilistic Coherence Spaces, Applied Categorical Structures, vol.2, issue.1:1, pp.209-228, 2012.
DOI : 10.1007/s10485-010-9241-0
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.6952

J. Y. Girard, Number 316 in LMS Lecture Note Series In: Between logic and quantic: a tract, pp.346-381, 2004.