Two equivalent calculi of explicit substitution with conuence on meta-terms and preservation of strong normalisation (one with names and one rst order (1998)

by F Lang, K H Rose
Venue:In Proceedings of the 1st Int. Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs