M. Abadi and L. Cardelli, On Subtyping and Matching, Proc. of ECOOP, pp.145-167, 1995.
DOI : 10.1007/3-540-49538-X_8

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 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. B. Bruce, Abstract, Journal of Functional Programming, vol.21, issue.02, pp.127-206, 1994.
DOI : 10.1145/382192.383004

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

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

G. Castagna, G. Ghelli, and G. Longo, A Calculus for Overloaded Functions with Subtyping, Information and Computation, vol.117, issue.1, pp.115-135, 1995.
DOI : 10.1006/inco.1995.1033

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

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

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

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

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

D. Leivant, Polymorphic type inference, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '83, pp.88-98, 1983.
DOI : 10.1145/567067.567077

L. Liquori, Bounded Polymorphism for Extensible Objects, 1996.
DOI : 10.1007/3-540-48167-2_11

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

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

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

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

O. L. Madsen, K. B. Moller-pedersen, and . Nygaard, Object-Oriented programming in the Beta programming language, 1993.

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

J. Palsberg, Efficient Inference of Object Types, Proc. of LICS, pp.186-195, 1993.

J. Palsberg and T. Jim, Type Inference for Simple Object Types is NP-Complete, Nordic Journal of Computing, 1997.

G. Plotkin, A structural approach to operational semantics, 1981.

D. Rémy, From classes to objects via subtyping, Proc. of ESOP, 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

S. Van-bakel, L. Liquori, S. Ronchi-della-rocca, and P. Urzyczyn, Comparing cubes of typed and type assignment systems, Annals of Pure and Applied Logic, vol.86, issue.3, pp.267-303, 1997.
DOI : 10.1016/S0168-0072(96)00036-X

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