K. Milsted

The Genericity Theorem and the Notion of Parametricity in the Polymorphic λ-calculus

G. Longo, K. Milsted, S. Soloviev, 1992 .

Coherence and transitivity of subtyping as entailment

Giuseppe Longo, Sergei Soloviev, Kathleen Milsted, 2000, J. Log. Comput..

A logic of subtyping

Giuseppe Longo, Sergei Soloviev, Kathleen Milsted, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.

The genericity theorem and the notion of parametricity in the polymorphic lambda -calculus

Giuseppe Longo, Sergei Soloviev, Kathleen Milsted, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.

A Logic of Subtyping (Extended Abstract)

Giuseppe Longo, Sergei Soloviev, Kathleen Milsted, 1995, LICS 1995.

The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus

Giuseppe Longo, Sergei Soloviev, Kathleen Milsted, 1993, Theor. Comput. Sci..