1. Functorial polymorphism;Bainbridge;Theor. Comput. Sci.,1990
2. Linear logic, coherence and dinaturality;Blute;Theor. Comput. Sci.,1993
3. P. Bruscoli, A. Guglielmi, T.E. Gundersen, M. Parigot, Proposal for substitution in Deep Inference via atomic flows, Personal communication.
4. Au sujet de l'existence d'adjoints à droite aux foncteurs ‘image reciproque’ dans la catégorie des catégories;Conduché;C. R. Acad. Sci. Paris,1972
5. Dinatural transformations;Dubuc,1970