I'm putting the notes here.
phlummox-mirrors / type-theory-and-its-meaning-explanations Goto Github PK
View Code? Open in Web Editor NEWThis project forked from bts/type-theory-and-its-meaning-explanations
an introduction to type theory based on meaning explanations (as opposed to proof theoretic type theories). A good read, but it has not aged as well as I had hoped. Talk to me personally if you want to understand meaning explanations!!