Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus.

Csar A. Muoz

Browse the full LICS paper archive.