News for hackers. Stuff that matters.

A comment on Abstract Algebra (2016) [pdf]. Parent comment

Re:Abstract Algebra (2016) [pdf] by Smaug123 on Saturday March 11, 2017 @11:14AM (#13845878)
Though note that HoTT is not the only approach to type theory; there are many others.
[ Parent | on HN ]

There are no comments on this comment yet.