1. Andreoli, J.-M.: Logic Programming with Focusing Proofs in Linear Logic. Journal of Logic and Computation 2(3), 297–347 (1992)
2. Blute, R., Scott, P.J.: Category theory for linear logicians. In: Ruet, P., Ehrhard, T., Girard, J.-Y., Scott, P. (eds.) Proceedings Linear Logic Summer School, pp. 1–52. Cambridge University Press, Cambridge (2004)
3. Bruasse-Bac, A.: Logique linéaire indexée du second ordre, Thèse de doctorat, Institut de Mathématiques de Luminy, Université Aix-Marseille II (2001)
4. Bucciarelli, A., Ehrhard, T.: On phase semantics and denotational semantics in multiplicative-additive linear logic. Annals of Pure and Applied Logic 102(3), 247–282 (2000)
5. Bucciarelli, A., Ehrhard, T.: On phase semantics and denotational semantics: the exponentials. Annals of Pure and Applied Logic 109(3), 205–241 (2001)