Formalities & Informalities: Judgmental Equality [Intro to HoTT, No. 2, Part 2]

Formalities & Informalities: Judgmental Equality [Intro to HoTT, No. 2, Part 2]See more

[Intro to HoTT - OLD] Martin-Löf Type Theory: Speaking the LanguageSee more

Formalities & Informalities: Declare-It-Yourself [Intro to HoTT, No. 2, Part 1]See more

[Intro to HoTT - OLD] Martin-Löf Type Theory: Judgments, Contexts, and TypesSee more

Was soll HoTT? [Intro to HoTT, No. 0]See more

Three for One: Logic Interpretation [Intro to HoTT, No. 1, Part 3]See more

2-02 Substitutions in Predicate LogicSee more

Noughts & Crosses: Cartesian Product [Intro to HoTT, No. 5, Part 1]See more

Classifications of Formal Grammars (Part 2)See more