Weak normalization implies strong normalization in a class of non-dependent pure type systems | Publicación