Open menu
Zachery Lindsey
Cubical Models of $( Infty ,1)$-Categories