Linked from

The 35 pages that link to Type theory, each with the reason it gives.

• Curry–Howard correspondenceNarrower topic: Curry–Howard is one of the central bridges between type theory and logic.

• New FoundationsNarrower topic: Stratification imports a type-like constraint into an untyped set-theoretic language.