Foundations for reliable and flexible interactive multimedia scores, MCM 2015, vol.9110, pp.29-41, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01129394
Logic programming with focusing proofs in linear logic, J. Log. Comput, vol.2, issue.3, pp.297-347, 1992. ,
Least and greatest fixed points in linear logic, ACM Trans. Comput. Log, vol.13, issue.1, 2012. ,
Symbolic model checking: 10?20 states and beyond, Inf. Comput, vol.98, issue.2, pp.142-170, 1992. ,
Design and synthesis of synchronization skeletons using branching-time temporal logic, Logics of Programs, Workshop, vol.131, pp.52-71, 1981. ,
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 formulation of the simple theory of types, The Jornal of Symbolic Logic, vol.5, pp.56-68, 1940. ,
A Linear Logical Framework, Inf. & Comp, vol.179, issue.1, pp.19-75, 2002. ,
Linear logic propositions as session types, Mathematical Structures in Computer Science, vol.26, issue.3, pp.367-423, 2016. ,
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
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
The structure of exponentials: Uncovering the dynamics of linear logic proofs, Kurt Gödel Colloquium, vol.713, pp.159-171, 1993. ,
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. ,
Hybrid and subexponential linear logics, Electr. Notes Theor. Comput. Sci, vol.332, pp.95-111, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01358057
Linear logic, Theoretical Computer Science, vol.50, pp.1-102, 1987. ,
URL : https://hal.archives-ouvertes.fr/inria-00075966
Unification under a mixed prefix, Journal of Symbolic Computation, vol.14, issue.4, pp.321-358, 1992. ,
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
A framework for linear authorization logics, Theor. Comput. Sci, vol.536, pp.21-41, 2014. ,
Algorithmic specifications in linear logic with subexponentials, PPDP, pp.129-140, 2009. ,
A framework for proof systems, J. Autom. Reasoning, vol.45, issue.2, pp.157-188, 2010. ,
A general proof system for modalities in concurrent constraint programing, CONCUR, vol.8052, pp.410-424, 2013. ,
On subexponentials, focusing and modalities in concurrent systems, Theor. Comput. Sci, vol.693, pp.35-58, 2017. ,
Specifying proof systems in linear logic with subexponentials, Electr. Notes Theor. Comput. Sci, vol.269, pp.109-123, 2011. ,
An extended framework for specifying and reasoning about proof systems, J. Log. Comput, vol.26, issue.2, pp.539-576, 2016. ,
A proof theoretic view of spatial and temporal dependencies in biochemical systems, Theoretical Computer Science, vol.641, pp.25-42, 2016. ,
Subexponential concurrent constraint programming. Theoretical Computer Science, vol.606, pp.98-120, 2015. ,
A concurrent constraint programming interpretation of access permissions, TPLP, vol.18, issue.2, pp.252-295, 2018. ,
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
Hybridizing a logical framework, International Workshop on Hybrid Logic (HyLo), Electronic Notes in Theoretical Computer Science, pp.135-148, 2006. ,