1. A. Asperti. Linear Logic, Comonads, and Optimal Reductions. To appear in Fundamenta Informaticae, Special Issue devoted to Categories in Computer Science. 1994.
2. A. Asperti, C. Laneve. Optimal Reductions in Interaction Systems. Proc. of the 4th Joint Conference on the Theory and Practice of Software Development, TAPSOFT'93, Orsay (France). April 1993.
3. A. Asperti, C. Laneve. Interaction System 2: The practice of optimal reductions. May 1993. A revised version of this paper may be got by anonymous ftp at cma.cma.fr as file pub/papers/cosimo/newIS2.ps.Z.
4. A. Asperti, V. Danos, C. Laneve, L. Regnier. Paths in the λ-calculus: three years of communications without understandings. Proc. of the 9th Annual Symposium on Logic in Computer Science (LICS 94), Paris 1994.
5. V. Danos, L. Regnier. Local and asynchronous beta-reduction. Proc. of the 8th Annual Symposium on Logic in Computer Science (LICS 93), Montreal. 1993.