1. Danos, V., Joinet, J.-B. and Schellinx, H.: On the linear decoration of intuitionistic derivations. Prépublication 41, Équipe de Logique Mathématique, Université Paris VII. Janvier 1993.
2. Danos, V., Joinet, J.-B. and Schellinx, H.: LKQ and LKT. Sequent calculi for second order logic based upon dual linear decompositions of classical implication (The Noble Art of Linear Decorating II). In preparation.
3. Girard, J.-Y.: Linear Logic. Theoretical Computer Science50 (1987) 1–102.
4. Girard, J.-Y.: A new constructive logic: classical logic. Mathematical Structures in Computer Science1 (3) (1991) 255–296.
5. Girard, J.-Y.: On the unity of logic. Annals of Pure and Applied Logic59 (1993) 201–217.