Series “Introduction to dependent type theory”
-
Basic building blocks of dependent type theory -
Recreating logic in type theory -
Classical logic based on propositions-as-subsingleton-types -
Law of excluded middle from axiom of choice
See all series.