Cubical Synthetic Homotopy Theory

POPL 2020