1. Andrea Asperti, Vincent Danos, Cosimo Laneve, and Laurent Regnier. Paths in the lambda-calculus: three years of communications without understanding. In Proc. of 9th Symposium on Logic in Computer Science, pages 426–436, Paris, France, July 1994. IEEE.
2. Andrea Asperti and Cosimo Laneve. Interaction systems. In Int. Workshop on Higher Order Algebra, Logic and Term Rewriting, 1993.
3. Andrea Asperti. Linear logic, comonads and optimal reductions. Fundamenta infomaticae, 22:3–22, 1995.
4. Andrea Asperti. δo!ε=1: Optimizing optimal λ-calculus implementations. In Jieh Hsiang, editor, Rewriting Techniques and Applications, 6th International Conference, RTA-95, LNCS 914, pages 102–116, Kaiserslautern, Germany, April 5–7, 1995. Springer-Verlag.
5. Andrea Asperti. On the complexity of beta-reduction. In POPL, St. Petersburg Beach, Florida, 1996. nACM.