1. Danos, V., Joinet, J.-B., Schellinx, H.: LKQ and LKT: Sequent calculi for second order logic based upon dual linear decompositions of classical implication. Prépublication 51, Equipe de Logique Mathématique, Université Paris VII. Proc. Workshop Linear Logic, Cornell University, 1993 (to appear)
2. Springer. Lecture Notes in Computer Science;V. Danos,1993
3. Danos, V., Joinet, J.-B., Schellinx, H.: A new deconstructive logic: linear logic. Prépublication 52, Equipe de Logique Mathématique, Université Paris VII (1994)
4. Girard, J.-Y.: Linear logic. Theor. Comput. Sci. 50, 1–102 (1987)
5. Girard, J.-Y.: On the unity of logic. Ann. Pure App. Logic 59, 201–217 (1993)