Pages that link to "System U"

Showing 23 items.

• Type theory (links | edit)
• Universe (mathematics) (links | edit)
• Jean-Yves Girard (links | edit)
• System F (links | edit)
• Type inhabitation (links | edit)
• Pure type system (links | edit)
• Girard's paradox (redirect to section "Girard's paradox") (links | edit)
  • Category theory (links | edit)
  • Set (mathematics) (links | edit)
  • Category of sets (links | edit)
  • Type theory (links | edit)
  • Russell's paradox (links | edit)
  • Natural deduction (links | edit)
  • Curry's paradox (links | edit)
  • Foundations of mathematics (links | edit)
  • Intuitionistic type theory (links | edit)
  • Typed lambda calculus (links | edit)
  • Formal system (links | edit)
  • Jean-Yves Girard (links | edit)
  • Per Martin-Löf (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)
  • Structuralism (philosophy of mathematics) (links | edit)
  • Thierry Coquand (links | edit)
  • Homotopy type theory (links | edit)
  • ∞-groupoid (links | edit)
  • ∞-topos (links | edit)
  • Univalent foundations (links | edit)
  • Talk:Girard's paradox (links | edit)
  • User:Mathbot/List of mathematical redlinks (G) (links | edit)
  • User:Mathbot/Most wanted redlinks (links | edit)
  • User:Tompw/templates (links | edit)
  • User:Fropuff/Redlinks (links | edit)
  • User:Salih/MathRedlinks (links | edit)
  • User:VeblenBot/List of mathematical logic articles (links | edit)
  • User:Tompw/Books/Mathematics (links | edit)
  • User:Tompw/Books/Mathematics (G) (links | edit)
  • User:Y-S.Ko/Wikipedia course/Mathematics (links | edit)
  • User:Tule-hog/All Computing articles (links | edit)
  • User talk:Topbanana/Archive 2 (links | edit)
  • Wikipedia:Stub Contest/Entries/Snowmanradio (2) (links | edit)
  • Wikipedia:Reference desk/Archives/Mathematics/2020 December 26 (links | edit)
  • Template:Foundations-footer (links | edit)
• Thierry Coquand (links | edit)
• System U− (redirect page) (links | edit)
• Type in type (redirect to section "Girard's paradox") (links | edit)
• Type-in-type (redirect to section "Girard's paradox") (links | edit)
• Talk:Carl Hewitt/Archive 2 (links | edit)
• Talk:System U (transclusion) (links | edit)
• Talk:Gödel's incompleteness theorems/Archive 10 (links | edit)
• User:Jmcgarey/Books/Programming Language Theory (links | edit)
• User:Prof. Carl Hewitt/EditRequestsForArticleCarlHewitt (links | edit)
• User:DraculavanHelsing/Books/Paradoxes (links | edit)
• User:Zixiaoxu/Books/Mathematics (links | edit)
• User:Zarzuelazen/Books/Reality Theory: Computational&Non-Classical Logic (links | edit)
• User:EJBrowne/Books/Type Theory Review (links | edit)
• Wikipedia:WikiProject Mathematics/List of mathematics articles (S–U) (links | edit)
• Wikipedia:WikiProject Mathematics/List of mathematics articles (S) (links | edit)
• Wikipedia talk:WikiProject Mathematics/Archive/2016/Feb (links | edit)