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)


Download Links

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