does anyone have recommendations of intro-level material on type theory as mathematical foundation?
Conversation
hey do you know of anything offhand? I feel like you always have good suggestions for friendly materials.
1
2
People tend to recommend the first chapter of the HoTT book I think? Also github.com/jozefg/learn-tt maybe?
+1 for HoTT book, I got into TT by reading that and Software Foundations (softwarefoundations.cis.upenn.edu/current/index.) :)
1
2
thanks! I had considered the HoTT book, but last time I briefly tried to read it it seemed very nice but also intimidating, so I wondered if I shouldn't read something else first
2
2
Show replies