1. E. Bainbridge, P. Freyd, A. Scedrov, P. Scott, Functorial Polymorphism, TCS (1990) 70:35–64
2. M. Barr, *-Autonomous Categories, Springer Lecture Notes in Mathematics Vol 752, (1980)
3. R. Blute, Linear Logic, Coherence and Dinaturality, Thesis,1991
4. V. Danos, La Logique Lineaire Appliquee a L'etude de Divers Processus de Normalisation et Pricipalement du λ-calcul, thesis, 1990
5. V. Danos, L. Regnier, The Structure of Multiplicatives, Arch. Math. Logic (1989) 28:181–203