This is a paper of mine which is in a highly unfinished and chaotic state but contains useful and coherent text segments.
Voevodsky's notes on type systems. This version contains more material than the one on his website.
This is a paper of mine which is in a highly unfinished and chaotic state but contains useful and coherent text segments.
Voevodsky's notes on type systems. This version contains more material than the one on his website.