GitHub - UniMath/old_notes_on_type_systems: Voevodsky's notes on type systems. This version contains more material than the one on his website.

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
.gitignore		.gitignore
README		README
old_notes_on_type systems.pdf		old_notes_on_type systems.pdf

Repository files navigation

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.

No releases published