Natural models of homotopy type theory - AWODEY, STEVE (Mathematical structures in computer science, 2018)
Keywords: Homotopy theory