Normalization for Typed Lambda Calculi with Explicit Substitution.

Eike Ritter

Browse the full CSL paper archive.