Closed model categories for [n,m]-types | Publicación