M. Abadi, Abstract, Journal of Functional Programming, vol.4, issue.02, pp.249-283, 1994.
DOI : 10.1016/S0019-9958(86)80019-5

M. Abadi and L. Cardelli, On Subtyping and Matching, ECOOP'95, pp.145-167, 1995.

M. Abadi and L. Cardelli, A Theory of Objects, 1996.
DOI : 10.1007/978-1-4419-8598-9

V. Bono and M. Bugliesi, Matching constraints for the Lambda Calculus of Objects, TLCA'97, pp.46-62, 1997.
DOI : 10.1007/3-540-62688-3_28

V. Bono, M. Bugliesi, M. Dezani-ciancaglini, and L. Liquori, Subtyping constraints for incomplete objects, CAAP'97, pp.465-477, 1997.
DOI : 10.1007/BFb0030619
URL : https://hal.archives-ouvertes.fr/hal-01154622

V. Bono, M. Bugliesi, and L. Liquori, A Lambda Calculus of incomplete objects, MFCS'96, pp.218-229, 1996.
DOI : 10.1007/3-540-61550-4_150
URL : https://hal.archives-ouvertes.fr/hal-01156555

V. Bono and L. Liquori, A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects, CSL'94, pp.16-30, 1995.
DOI : 10.1007/BFb0022244
URL : https://hal.archives-ouvertes.fr/hal-01157171

K. B. Bruce, Abstract, Journal of Functional Programming, vol.21, issue.02, pp.127-206, 1994.
DOI : 10.1145/382192.383004

L. Cardelli, A semantics of multiple inheritance, Information and Computation, vol.76, issue.2-3, pp.138-164, 1988.
DOI : 10.1016/0890-5401(88)90007-7

L. Cardelli, A language with distributed scope, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '95, pp.27-59, 1995.
DOI : 10.1145/199448.199516

L. Cardelli and J. C. Mitchell, Operations on records, Mathematical Structures in Computer Science, vol.1, issue.01, pp.3-48, 1991.
DOI : 10.1016/0022-0000(78)90014-4

L. Cardelli and P. Wegner, On understanding types, data abstraction, and polymorphism, ACM Computing Surveys, vol.17, issue.4, pp.471-522, 1985.
DOI : 10.1145/6041.6042

W. Cook, W. Hill, and P. Canning, Inheritance is not subtyping, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, pp.125-135, 1990.
DOI : 10.1145/96709.96721

W. R. Cook, A Denotational Semantics of Inheritance, 1989.

K. Fisher, F. Honsell, and J. C. Mitchell, A Lambda Calculus of Objects and Method Specialization, Nordic Journal of Computing, vol.1, issue.1, pp.3-37, 1994.

K. Fisher and J. C. Mitchell, A delegation-based object calculus with subtyping, FCT'95, pp.42-61, 1995.
DOI : 10.1007/3-540-60249-6_40

A. Goldberg and D. Robson, Smalltalk-80, The Language and its Implementation, 1983.

R. Harper, F. Honsell, and G. Plotkin, A framework for defining logics, Journal of the ACM, vol.40, issue.1, pp.143-184, 1993.
DOI : 10.1145/138027.138060

L. Liquori, An extended Theory of Primitive Objects: First order system, ECOOP'97, pp.146-169, 1997.
DOI : 10.1007/BFb0053378
URL : https://hal.archives-ouvertes.fr/hal-01154568

L. Liquori and B. Castagna, A typed Lambda Calculus of Objects, Asian'96, pp.129-141, 1996.
DOI : 10.1007/BFb0027786
URL : https://hal.archives-ouvertes.fr/hal-01156547

D. Knuth and P. Bendix, Simple Word Problems in Universal Algebras, Computational Problems in Universal Algebras, pp.263-297, 1970.
DOI : 10.1007/978-3-642-81955-1_23

J. Mckinna and R. Pollack, Pure type systems formalized, TLCA'93, pp.289-305, 1993.
DOI : 10.1007/BFb0037113

D. Rémy, From classes to objects via subtyping, ESOP'98, 1998.
DOI : 10.1007/BFb0053572

D. Ungar and R. B. Smith, Self: the Power of Simplicity, OOPSLA'87, pp.227-241, 1987.

M. Wand, Complete Type Inference for Simple Objects, LICS'87, pp.37-44, 1987.