The following pages link to History of type theory
External toolsShowing 37 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Category theory (links | edit)
- Set (mathematics) (links | edit)
- Category of sets (links | edit)
- Type theory (links | edit)
- Natural deduction (links | edit)
- Foundations of mathematics (links | edit)
- Frank Ramsey (mathematician) (links | edit)
- Intuitionistic type theory (links | edit)
- Formal system (links | edit)
- Dependent type (links | edit)
- Determinacy (links | edit)
- Constructive set theory (links | edit)
- Higher category theory (links | edit)
- Hilbert system (links | edit)
- Axiom of reducibility (links | edit)
- Topos (links | edit)
- Vicious circle principle (links | edit)
- Simple theory of types (redirect to section "Theory of simple types") (links | edit)
- Structuralism (philosophy of mathematics) (links | edit)
- Homotopy type theory (links | edit)
- ∞-groupoid (links | edit)
- ∞-topos (links | edit)
- Univalent foundations (links | edit)
- History of type (links | edit)
- Talk:History of type theory (transclusion) (links | edit)
- Talk:Georg Cantor/Archive 2 (links | edit)
- User:Tompw/templates (links | edit)
- User:VeblenBot/List of mathematical logic articles (links | edit)
- User:Tompw/Books/Mathematics (links | edit)
- User:Tompw/Books/Mathematics (H) (links | edit)
- User:P64/Technical (links | edit)
- User:Bonkko/Books/Philosophy of Science (links | edit)
- User:Y-S.Ko/Wikipedia course/Mathematics (links | edit)
- User talk:Mdnahas (links | edit)
- Misplaced Pages:WikiProject Mathematics/List of mathematics articles (G–I) (links | edit)
- Misplaced Pages:WikiProject Mathematics/List of mathematics articles (H) (links | edit)
- Template:Foundations-footer (links | edit)