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

G. Belì-e, Some Remarks on Lambda Calculus of Objects, Dipartimento di Matematica ed Informatica, 1994.

V. Bono and M. Bugliesi, Matching constraints for the Lambda Calculus of Objects, Proc. of TLCA, 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, Proc. of TAPSOFT/CAAP, 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, Proc. of MFCS, pp.218-229, 1996.
DOI : 10.1007/3-540-61550-4_150

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

V. Bono and K. Fisher, An imperative, first-order calculus with object extension, Proc. of ECOOP, Lecture Notes in Computer Science, 1998.
DOI : 10.1007/BFb0054104

V. Bono and L. Liquori, A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects, Proc. of CSL, pp.16-30, 1995.
DOI : 10.1007/BFb0022244

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

K. Bruce, L. Cardelli, and G. Castagna, The Hopkins Object Group, G. Leavens, and B. Pierce. On Binary Methods, Theory and Practice of Object Systems, vol.1, issue.3, 1996.

K. Bruce, C. B. Cardelli, and . Pierce, Comparing Object Encoding, Proc. of TACS, Lecture Notes in Computer Science, 1997.

K. Bruce, L. Petersen, and A. Fiech, Subtyping is not a good ???match??? for object-oriented languages, Proc. of ECOOP, pp.104-127, 1997.
DOI : 10.1007/BFb0053376

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

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

G. Castagna, Covariance and contravariance: conflict without a cause, ACM Transactions on Programming Languages and Systems, vol.17, issue.3, pp.431-447, 1995.
DOI : 10.1145/203095.203096

G. Castagna, Object-Oriented Programming: A Unified Foundation, Progress in Theoretical Computer Science. Birkäuser, 1996.
DOI : 10.1007/978-1-4612-4138-6

K. Fisher, Type System for Object-Oriented Programming Languages, 1996.

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. , Notes on typed object-oriented programming, Proc. of TACS, pp.844-885, 1994.
DOI : 10.1007/3-540-57887-0_128

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

K. Fisher and J. C. Mitchell, On the relationship between classes, objects, and data abstraction. Theory and Practice of Object Systems, 1998.

L. Liquori, An extended Theory of Primitive Objects: First order system, Proc. of ECOOP, pp.146-169, 1997.
DOI : 10.1007/BFb0053378

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

P. Paladin, Teoremi di Congruenza per Lambda-Calcoli Orientati agli Oggetti, Italian, 1993.

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

D. Rémy, From classes to objects via subtyping, Proc. of European Symposium on Programming, volume 1381 of lncs, 1998.
DOI : 10.1007/BFb0053572

J. G. Riecke and C. Stone, Privacy via Subsumption, Electronic proceedings of FOOL-98, 1998.
DOI : 10.1006/inco.2000.2925

URL : http://doi.org/10.1006/inco.2000.2925

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