Extending a -calculus with Explicit Substitution which Preserves Strong Normalisation into a Con Calculus on Open Terms (1997)

by F Kamareddine, A Ros
Venue:Journal of Functional Programming