Simplicial methods for higher categories : segal-type models of weak n-categories /: segal-type models of weak n-categories. (2019)