Confluence Properties of Extensional and Non-Extensional lambda-Calculi with Explicit Substitutions (Extended Abstract) (1996)

Cached

Download Links

by Delia Kesner
Venue:in Proceedings of the Seventh International Conference on Rewriting Techniques and Applications
Citations:22 - 5 self