A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects.

Viviana Bono Luigi Liquori A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. 16-30 1994 conf/csl/1994 CSL db/conf/csl/csl94.html#BonoL94 http://dx.doi.org/10.1007/BFb0022244