Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract (1996)

by D Kesner
Venue:in Proceedings of the Seventh International Conference on Rewriting Techniques and Applications