News for hackers. Stuff that matters.

A comment on Propositions as Types (2014) [pdf]. Parent comment

Re:Propositions as Types (2014) [pdf] by michaelsbradley on Saturday November 14, 2015 @10:56AM (#10566035)
Thank you, I'll definitely consider the HoTT book. Are there any "background material" or "first course" books you'd recommend reading before starting the HoTT book?
[ Parent | on HN ]
Re:Propositions as Types (2014) [pdf] by harveywi on Saturday November 14, 2015 @11:48AM (#10566247)
Lawrence H. Dunn III from FSU put together a really nice honors thesis that provides a gentle overview of HoTT. The author was an undergrad math student, so there might be a couple mistakes here and there, but the text was quite accessible.

http://diginole.lib.fsu.edu/cgi/viewcontent.cgi?article=1357...

If you find anything else, let us know!

[ Parent | on HN ]