Publications de
Sergei Soloviev, Giuseppe Longo, Kathleen Milsted
Coherence and Transitivity of Subtyping as Entailment
Dans : Journal of Logic and Computation, Oxford University Press, Vol. 10 N. 4, p. 493-527, août 2000.
Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
The genericity theorem and the notion of parametricity in the polymorphic lambda-calculus.
Dans : Theoretical Computer Science, Elsevier, Numéro spécial A collection of contributions in honor of Corrado Bohm, Vol. 121 N. 1-2, p. 323-349, décembre 1993.