A closed simplicial model category for proper homotopy and shape theories | Publicación