A Theory of Objects, 1996. ,
DOI : 10.1007/978-1-4419-8598-9
Lambda Calculus: its Syntax and Semantics, 1984. ,
Pure Patterns Type Systems, Proc. of POPL, pp.250-261, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00099463
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
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
Separability and Translatability of Sequential Term Rewrite Systems into the Lambda Calculus, 2001. ,
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
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
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
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
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
The Elan Home Page, 2003. ,
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
A Typed Pattern Calculus, Information and Computation, vol.124, issue.1, pp.32-61, 1996. ,
DOI : 10.1006/inco.1996.0004
Inductive Definition in Type Theory, 1987. ,
Lambda Calculus with Patterns, 1990. ,