THE PAPER ON THE GENENERICTY THEOREM WAS PUBLISHED AS INDICATED BELOW THE .PS AND .DVI FILES CORRESPOND TO THE PAPER AS PUBLISHED, EVEN THOUGH THERE IS NON REFERENCE TO THE JOURNAL (WE HAVE LOST THE .TEX FILE!!). Giuseppe Longo, Kathleen Milsted, and Sergei Soloviev. The Genericity Theorem and effective Parametricity in Polymorphic lambda-calculus. Theoretical Computer Science, 121:323--349, 1993. Invited Paper, special issue of T.C.S. "A Collection of contributions in honour of C. B\"ohm" (Preliminary version: IEEE Conference on Logic in Computer Science (LICS 93), pp. 1-6, Montreal, Jan. 1993).