A Cubical Approach to Synthetic Homotopy Theory http://dlicata.web.wesleyan.edu/pubs/lb15cubicalsynth/lb15cubicalsynth.pdf