3 ms·
Could you give pointers wrt cubical model being a dead end? As yet I've heard nothing about this.
by Kutta 11y ago
Could you give pointers wrt cubical model being a dead end? As yet I've heard nothing about this.
- doall 11y agoSee this https://groups.google.com/d/msg/homotopytypetheory/oXQe5u_Mmtk/3HEDk5g5uq4J https://groups.google.com/d/msg/homotopytypetheory/oXQe5u_Mm...