Relating the - and s-Styles of Explicit Substitutions (2000)

by F Kamareddine, A Ros
Venue:Journal of Logic and Computation