Generalized β-reduction and explicit substitutions | Publicación