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

H. Barendregt, Lambda Calculus: its Syntax and Semantics, 1984.

G. Barthe, H. Cirstea, C. Kirchner, and L. Liquori, Pure Patterns Type Systems, Proc. of POPL, pp.250-261, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00099463

C. Bertolissi, H. Cirstea, and C. Kirchner, Translating Combinatory Reduction Systems into the Rewriting Calculus, Proc. of RULE. ENTCS, 2003.
DOI : 10.1016/S1571-0661(04)80674-1
URL : https://hal.archives-ouvertes.fr/inria-00107640

P. Borovansky, C. Kirchner, H. Kirchner, and P. Moreau, ELAN from a rewriting logic point of view, Theoretical Computer Science, vol.285, issue.2, pp.155-185, 2002.
DOI : 10.1016/S0304-3975(01)00358-9
URL : https://hal.archives-ouvertes.fr/inria-00100974

S. Byun, J. Kennaway, V. Van-oostrom, and F. De-vries, Separability and Translatability of Sequential Term Rewrite Systems into the Lambda Calculus, 2001.

H. Cirstea and C. Kirchner, The simply typed rewriting calculus, Proc. of WRLA. ENTCS, 2000.
DOI : 10.1016/S1571-0661(05)80127-6
URL : https://hal.archives-ouvertes.fr/inria-00099052

H. Cirstea and C. Kirchner, The rewriting calculus - part II, Logic Journal of IGPL, vol.9, issue.3, pp.427-498, 2001.
DOI : 10.1093/jigpal/9.3.377
URL : https://hal.archives-ouvertes.fr/inria-00100532

H. Cirstea, C. Kirchner, and L. Liquori, Matching Power, Proc. of RTA, pp.77-92, 2001.
DOI : 10.1007/3-540-45127-7_8
URL : https://hal.archives-ouvertes.fr/inria-00099308

H. Cirstea, C. Kirchner, and L. Liquori, The Rho Cube, Proc. of FOSSACS, pp.166-180, 2001.
DOI : 10.1007/3-540-45315-6_11
URL : https://hal.archives-ouvertes.fr/inria-00107877

H. Cirstea, C. Kirchner, and L. Liquori, Rewriting Calculus with(out) Types, Proc. of WRLA, 2002.
DOI : 10.1016/S1571-0661(05)82526-5
URL : https://hal.archives-ouvertes.fr/inria-00100858

É. Protheo, The Elan Home Page, 2003.

S. N. Kamin, Inheritance in smalltalk-80: a denotational definition, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '88, pp.80-87, 1988.
DOI : 10.1145/73560.73567

D. Kesner, L. Puel, and V. Tannen, A Typed Pattern Calculus, Information and Computation, vol.124, issue.1, pp.32-61, 1996.
DOI : 10.1006/inco.1996.0004

N. P. Mendler, Inductive Definition in Type Theory, 1987.

V. Van-oostrom, Lambda Calculus with Patterns, 1990.