3 ms·
To be fair, this is a community of mostly non-mathematicians, most of whom will probably have no use for this work. But yeah, certainly that's the real "big dea
by ek 13y ago
To be fair, this is a community of mostly non-mathematicians, most of whom will probably have no use for this work. But yeah, certainly that's the real "big deal" here.
- guelo 13y agoWell, homotopy type theory is in the same general area of study as the type theory studied in computer science.