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

by Hardin, J-J Lévy
Venue:RR 1617, INRIA, Rocquencourt