Pierre Lescanne 5 most significative papers
Here you will find my five most significative papers after Citeseer.
A description of their contents is here.
-
Computer Experiments with the REVE Term Rewriting
System Generator
10th ACM Symposium on Principles of
Programming Languages (POPL), January 24-26 1983, Austin
Texas, pp 99-108.pdf
-
Termination of Rewriting Systems by Polynomial
Interpretations and its Implementation
Science of
Computer Programming, vol. 9, N 2, (1987), pp 137-160,
with Ahlem Ben Cherifa. txt (this a version
that was able to get back by scanning an old typewritten copy
for a colleague. This shows the old time before LaTeX!)
-
Equational problems and disunification
J. of
Symbolic Computation (1989), vol. 3 and 4, pp. 371-426,
with Hubert COMON. pdf
-
From lambda-sigma to lambda-upsilon , a journey through
calculi of explicit substitutions
21st ACM Symposium
on Principles of Programming Languages (POPL), 16-19
Janvier 1994, Portland, Oregon, pp 60-69. pdf
-
Lambda-upsilon, a calculus of explicit substitutions which
preserves strong normalisation
J of Functional
Programming, Vol. 6, N 5 (septembre 1996). With
Zine-El-Abidine BENAISSA, Daniel BRIAUD. Pierre LESCANNE
and Jocelyne ROUYER-DEGLI pdf
Pierre Lescanne
Last modified: Thu Sep 18 15:00:07 CEST 2008