J. Arias, M. Desainte-catherine, C. Olarte, and C. Rueda, Foundations for Reliable and Flexible Interactive Multimedia Scores, MCM 2015, pp.29-41, 2015.
DOI : 10.1007/978-3-319-20603-5_3
URL : https://hal.archives-ouvertes.fr/hal-01129394

J. Andreoli, Logic Programming with Focusing Proofs in Linear Logic, Journal of Logic and Computation, vol.2, issue.3, pp.297-347, 1992.
DOI : 10.1093/logcom/2.3.297

D. Baelde, Least and greatest fixed points in linear logic, ACM Trans. Comput. Log, vol.13, issue.12, 2012.

J. R. Burch, E. M. Clarke, K. L. Mcmillan, D. L. Dill, and L. J. Hwang, Symbolic model checking: 1020 States and beyond, Information and Computation, vol.98, issue.2, pp.142-170, 1992.
DOI : 10.1016/0890-5401(92)90017-A

K. Chaudhuri, Classical and Intuitionistic Subexponential Logics Are Equally Expressive, CSL 2010, pp.185-199, 2010.
DOI : 10.1007/978-3-642-15205-4_17
URL : https://hal.archives-ouvertes.fr/inria-00534865

[. Cervesato and F. Pfenning, A Linear Logical Framework, Information and Computation, vol.179, issue.1, pp.19-75, 2002.
DOI : 10.1006/inco.2001.2951

K. Chaudhuri and G. Reis, An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials, LNCS, vol.9450, pp.146-161, 2015.
DOI : 10.1007/978-3-662-48899-7_11
URL : https://hal.archives-ouvertes.fr/hal-01208362

J. Despeyroux and K. Chaudhuri, A hybrid linear logic for constrained transition systems Conference on Types for Proofs and Programs (TYPES 2013), volume 26 of Leibniz Intl, Post-Proceedings of the 9th Intl Proceedings in Informatics Schloss Dagstuhl?Leibniz-Zentrum fuer Informatik, pp.150-168, 2014.

J. Vincent-danos, H. Joinet, and . Schellinx, The structure of exponentials: Uncovering the dynamics of linear logic proofs, LNCS, vol.713, pp.159-171, 1993.

J. Elisabetta-de-maria, A. Despeyroux, and . Felty, A logical framework for systems biology, Proceedings of the 1st Intl. Conference on Formal Methods in Macro-Biology (FMMB), pp.136-155, 2014.

G. Gentzen, Investigations into logical deductions The Collected Papers of Gerhard Gentzen, pp.68-131, 1935.

[. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

D. Miller and E. Pimentel, A formal framework for specifying sequent calculus proof systems, Theoretical Computer Science, vol.474, pp.98-116, 2013.
DOI : 10.1016/j.tcs.2012.12.008
URL : https://hal.archives-ouvertes.fr/hal-00787586

V. Nigam and D. Miller, Algorithmic specifications in linear logic with subexponentials, Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, PPDP '09, pp.129-140, 2009.
DOI : 10.1145/1599410.1599427

V. Nigam, C. Olarte, and E. Pimentel, A general proof system for modalities in concurrent constraint programing, In CONCUR LNCS, vol.8052, pp.410-424, 2013.

V. Nigam, E. Pimentel, and G. Reis, Specifying Proof Systems in Linear Logic with Subexponentials, Electronic Notes in Theoretical Computer Science, vol.269, pp.109-123, 2011.
DOI : 10.1016/j.entcs.2011.03.009

C. Olarte, D. Chiarugi, M. Falaschi, and D. Hermith, A proof theoretic view of spatial and temporal dependencies in biochemical systems, Theoretical Computer Science, vol.641, pp.25-42, 2016.
DOI : 10.1016/j.tcs.2016.03.029

C. Olarte, E. Pimentel, and V. Nigam, Subexponential concurrent constraint programming, Theoretical Computer Science, vol.606, pp.98-120, 2015.
DOI : 10.1016/j.tcs.2015.06.031

E. Pimentel, C. Olarte, and V. Nigam, Abstract, Theory and Practice of Logic Programming, pp.475-308, 2014.
DOI : 10.1006/jsco.1996.0064

J. Reed, Hybridizing a Logical Framework, International Workshop on Hybrid Logic Electronic Notes in Theoretical Computer Science, pp.135-148, 2006.
DOI : 10.1016/j.entcs.2006.11.030

?. In and ?. , Exponential rules ?