Open menu
Christian Sattler
Cubical Models of $( Infty ,1)$-Categories