Confluence properties of weak and strong calculi of explicit substitutions (1996)

by Pierre-Louis Curien, Thérèse Hardin, Jean-Jacques Lévy
Venue:J. ACM