Title: Dependent Types and Explicit Substitutions