Pierre Lescanne

Pierre Lescanne

École Normale Supérieure de Lyon - Lyon / France
Others
AD Scientific Index ID: 1661172
Normal Superior School of Lyon
person_outline Pierre Lescanne's MOST POPULAR ARTICLES
1-) Equational problems anddisunification Journal of Symbolic Computation 7 (3-4), 371-425, 1989
2-) Termination of rewriting systems by polynomial interpretations and its implementation Science of computer Programming 9 (2), 137-159, 1987
3-) From λσ to λν: a journey through calculi of explicit substitutions Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994
4-) Computer experiments with the REVE term rewriting system generator Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of …, 1983
5-) λν, a calculus of explicit substitutions which preserves strong normalisation Journal of Functional Programming 6 (5), 699-722, 1996