Misplaced Pages

The following pages link to Dialectica interpretation

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 47 items.

• Kurt Gödel (links | edit)
• History of logic (links | edit)
• Hilbert's second problem (links | edit)
• Intuitionistic logic (links | edit)
• Proof theory (links | edit)
• Curry–Howard correspondence (links | edit)
• Typed lambda calculus (links | edit)
• Simply typed lambda calculus (links | edit)
• Heyting arithmetic (links | edit)
• Second-order arithmetic (links | edit)
• Realizability (links | edit)
• Dialectica space (links | edit)
• Double-negation translation (links | edit)
• Primitive recursive functional (links | edit)
• Dialectica (links | edit)
• Dialectica translation (redirect page) (links | edit)
  • Talk:Gödel's incompleteness theorems/History (links | edit)
• System T (links | edit)
• Gödel System T (redirect page) (links | edit)
• Gödel system T (redirect page) (links | edit)
• Valeria de Paiva (links | edit)
• Infinite-valued logic (links | edit)
• Talk:Second-order logic (links | edit)
• Talk:System F (links | edit)
• Talk:Dialectica interpretation (transclusion) (links | edit)
• Talk:Primitive recursive functional (links | edit)
• Talk:Gödel's incompleteness theorems/Archive 8 (links | edit)
• User:Mathbot/List of mathematical redlinks (D) (links | edit)
• User:Fropuff/Redlinks (links | edit)
• User:AlexNewArtBot/PhilosophySearchResult/archive2 (links | edit)
• User:AlexNewArtBot/LogicSearchResult/archive8 (links | edit)
• User:Salih/MathRedlinks (links | edit)
• User:Gregbard/old watchlist (links | edit)
• User:VeblenBot/List of mathematical logic articles (links | edit)
• User:Aniruddha22Paranjpye/Books/Proof Theory (links | edit)
• User:Gregbard/old watchlist2 (links | edit)
• User:Tompw/Books/Mathematics (links | edit)
• User:Ruud Koot/Computer science/Lambda calculus (links | edit)
• User:Tompw/Books/Mathematics (D) (links | edit)
• User:Domcd/Books/Logic, philosophy, language, mathematics (links | edit)
• User:Bonkko/Books/Philosophy of Science (links | edit)
• User:Qwerfjkl/sandbox/refpunc (links | edit)
• Misplaced Pages:WikiProject Mathematics/List of mathematics articles (D–F) (links | edit)
• Misplaced Pages:WikiProject Mathematics/List of mathematics articles (D) (links | edit)
• Misplaced Pages:Reference desk/Archives/Mathematics/2009 June 7 (links | edit)
• Misplaced Pages:Reference desk/Archives/Mathematics/2010 February 17 (links | edit)
• Misplaced Pages:Village pump (proposals)/Archive 132 (links | edit)
• Misplaced Pages talk:Logic (links | edit)