New posts in Type Theory

Curry-Howard for an imperative programming language?

Comma in turnstile (entailment)

Topos theory and higher-order logic

Why did mathematicians choose ZFC set theory over Russell's type theory?

Categorical semantics explained – what is an interpretation?

Type Theory for Beginners

How to introduce type theory to newcomer?

Introductory books as preparation to read Voevodsky homotopy-theory (HoTT) book

Difference between a type and a set

Relationship between propositional logic, first-order logic, second-order logic higher-order logic, and type theory