J. Arias, M. Desainte-catherine, C. Olarte, and C. Rueda, Foundations for reliable and flexible interactive multimedia scores, MCM 2015, vol.9110, pp.29-41, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01129394

J. Andreoli, Logic programming with focusing proofs in linear logic, J. Log. Comput, vol.2, issue.3, pp.297-347, 1992.

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

J. R. Burch, E. M. Clarke, K. L. Mcmillan, D. L. Dill, and L. J. Hwang, Symbolic model checking: 10?20 states and beyond, Inf. Comput, vol.98, issue.2, pp.142-170, 1992.

E. M. Clarke and E. A. Emerson, Design and synthesis of synchronization skeletons using branching-time temporal logic, Logics of Programs, Workshop, vol.131, pp.52-71, 1981.

K. Chaudhuri, Classical and intuitionistic subexponential logics are equally expressive, CSL 2010, vol.6247, pp.185-199, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00534865

A. Church, A formulation of the simple theory of types, The Jornal of Symbolic Logic, vol.5, pp.56-68, 1940.

I. Cervesato and F. Pfenning, A Linear Logical Framework, Inf. & Comp, vol.179, issue.1, pp.19-75, 2002.

L. Caires, F. Pfenning, and B. Toninho, Linear logic propositions as session types, Mathematical Structures in Computer Science, vol.26, issue.3, pp.367-423, 2016.

K. Chaudhuri and G. Reis, An adequate compositional encoding of bigraph structure in linear logic with subexponentials, LNCS, vol.9450, pp.146-161, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01208362

J. Despeyroux and K. Chaudhuri, A hybrid linear logic for constrained transition systems, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, vol.26, pp.150-168, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01285039

V. Danos, J. Joinet, and H. Schellinx, The structure of exponentials: Uncovering the dynamics of linear logic proofs, Kurt Gödel Colloquium, 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), vol.8738, pp.136-155, 2014.

J. Despeyroux, C. Olarte, and E. Pimentel, Hybrid and subexponential linear logics, Electr. Notes Theor. Comput. Sci, vol.332, pp.95-111, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01358057

J. Girard, Linear logic, Theoretical Computer Science, vol.50, pp.1-102, 1987.
URL : https://hal.archives-ouvertes.fr/inria-00075966

D. Miller, Unification under a mixed prefix, Journal of Symbolic Computation, vol.14, issue.4, pp.321-358, 1992.

D. Miller and E. Pimentel, A formal framework for specifying sequent calculus proof systems, Theor. Comput. Sci, vol.474, pp.98-116, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00787586

V. Nigam, A framework for linear authorization logics, Theor. Comput. Sci, vol.536, pp.21-41, 2014.

V. Nigam and D. Miller, Algorithmic specifications in linear logic with subexponentials, PPDP, pp.129-140, 2009.

V. Nigam and D. Miller, A framework for proof systems, J. Autom. Reasoning, vol.45, issue.2, pp.157-188, 2010.

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

V. Nigam, C. Olarte, and E. Pimentel, On subexponentials, focusing and modalities in concurrent systems, Theor. Comput. Sci, vol.693, pp.35-58, 2017.

V. Nigam, E. Pimentel, and G. Reis, Specifying proof systems in linear logic with subexponentials, Electr. Notes Theor. Comput. Sci, vol.269, pp.109-123, 2011.

V. Nigam, E. Pimentel, and G. Reis, An extended framework for specifying and reasoning about proof systems, J. Log. Comput, vol.26, issue.2, pp.539-576, 2016.

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.

C. Olarte, E. Pimentel, and V. Nigam, Subexponential concurrent constraint programming. Theoretical Computer Science, vol.606, pp.98-120, 2015.

C. Olarte, E. Pimentel, and C. Rueda, A concurrent constraint programming interpretation of access permissions, TPLP, vol.18, issue.2, pp.252-295, 2018.

E. Pimentel, C. Olarte, and V. Nigam, A proof theoretic study of soft concurrent constraint programming, Theory and Practice of Logic Programming, vol.14, pp.475-308, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01011420

J. Reed, Hybridizing a logical framework, International Workshop on Hybrid Logic (HyLo), Electronic Notes in Theoretical Computer Science, pp.135-148, 2006.