## Two equivalent calculi of explicit substitution with confluence on meta-terms and preservation of strong normalization (one with names and one first-order) (Extended Abstract) (1998)

by
Frederic Lang
,
Kristoffer Høgsbro Rose

Venue: | In Proceedings of the 1st Int. Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs |

Citations: | 3 - 1 self |