A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects (1995)

by V Bono, L Liquori
Venue:In Proc. of International Conference of Computer Science Logic. LNCS 933