Cut Elimination in a Class of Sequent Calculi for Pure Type Systems | Publicación