Title: Dependent types and explicit substitutions
Subjects: Calculus, Dependent variables, Functions (Mathematics)