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, A theory of primitive objects, Science of Computer Programming, vol.25, issue.2-3, pp.81-116, 1995.
DOI : 10.1016/0167-6423(95)00010-0

M. Abadi and L. Cardelli, An Imperative Object Calculus. Theory and Practice of Objects Systems, pp.151-166, 1996.
DOI : 10.1007/3-540-59293-8_214

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

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

M. Abadi and L. Cardelli, A Theory of Primitive Objects: Untyped and First-Order Systems, Information and Computation, vol.125, issue.2, pp.78-102, 1996.
DOI : 10.1006/inco.1996.0024

H. P. Barendregt, The Lambda Calculus: Its Syntax and Semantics, of Studies in Logic and the Foundations of Mathematics, 1984.

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

V. Bono, M. Bugliesi, M. Dezani-ciancaglini, and L. Liquori, Subtyping constraints for incomplete objects, Proc. of CAAP-97, 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
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, Proc. of CSL-94, pp.16-30, 1995.
DOI : 10.1007/BFb0022244

URL : https://hal.archives-ouvertes.fr/hal-01157171

K. B. Bruce, A. Shuett, and R. Van-gent, PolyTOIL, Proc. of ECOOP-95, pp.16-30, 1995.
DOI : 10.1145/641888.641891

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. , The Development of Type Systems for Object Oriented Languages. Theory and Practice of Objects Systems, pp.189-220, 1995.

K. Fisher and J. C. Mitchell, A delegation-based object calculus with subtyping, Proc. of 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.

L. Liquori, An Extended Theory of Primitive Objects, 1996.
URL : https://hal.archives-ouvertes.fr/hal-01154568

L. Liquori, Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects, 1996.
URL : https://hal.archives-ouvertes.fr/tel-01157160

L. Liquori and G. Castagna, A typed Lambda Calculus of Objects, Proc. of Asian-96, pp.129-141, 1996.
DOI : 10.1007/BFb0027786

URL : https://hal.archives-ouvertes.fr/hal-01156547

G. Plotkin, A Structural Approach to Operational Semantics, 1981.

D. Remy, Refined Subtyping and Row Variables for Record Types, 1995.