Viviana Bono, Luigi Liquori. A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects.
Computer Science Logic. 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers, Sep 1994, Kazimierz, Poland. pp.16-30,
⟨10.1007/BFb0022244⟩.
⟨hal-01157171⟩