1. M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy, Explicit Substitutions, Proc. POPL 90, San Francisco, ACM (1990).
2. V. Breazu-Tannen, T. Coquand, C. Gunter, A. Scedrov, Inheritance and Explicit Coercion, Proc. Logic in Computer Science 89, Monterey, USA (1989).
3. V. Breazu-Tannen, J. Gallier, Polymorphic Rewriting Conserves Algebraic Confluence, Proc. ICALP 89, Stresa, Lecture Notes in Comput. Sci. 372 (1989).
4. P.-L. Curien, Categorical Combinators, Sequential Algorithms and Functional Programming, Pitman (1986).
5. P.-L. Curien, Roberto Di Cosmo, Confluence in the typed λ-calculus extended with Surjective Pairing and a Terminal Type, draft (1990).