Confluence and preservation of strong normalization in an explicit substitutions calculus (1996)

by C A Munoz Hurtado
Venue:In 11th LICS