News for hackers. Stuff that matters.

A comment on Homotopy Type Theory (2012) [pdf]. Parent comment

Re:Homotopy Type Theory (2012) [pdf] by s17n on Tuesday October 27, 2020 @04:34PM (#24911563)
It's popular at CMU? It got a huge-for-pure-math grant 5 years ago (https://homotopytypetheory.org/2014/04/29/hott-awarded-a-mur...)? Idk.
[ Parent | on HN ]

There are no comments on this comment yet.