The Soundness of Explicit Substitutions with Nameless Variables (0)

by F Kamareddine
Venue:International Journal of Foundations of Computer Science