Misplaced Pages

The following pages link to Jean-Yves Girard

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

Showing 50 items.

• Berry paradox (links | edit)
• Natural deduction (links | edit)
• History of logic (links | edit)
• Proof theory (links | edit)
• Sequent calculus (links | edit)
• Polymorphism (computer science) (links | edit)
• Intuitionistic type theory (links | edit)
• List of logicians (links | edit)
• Index of philosophy articles (I–Q) (links | edit)
• Linear logic (links | edit)
• Game semantics (links | edit)
• Affine logic (links | edit)
• Noncommutative logic (links | edit)
• System F (links | edit)
• History of programming languages (links | edit)
• Ludics (links | edit)
• Cut-elimination theorem (links | edit)
• Proof net (links | edit)
• Coherent space (links | edit)
• Per Martin-Löf (links | edit)
• Takeuti's conjecture (links | edit)
• John C. Reynolds (links | edit)
• Parametric polymorphism (links | edit)
• Second-order arithmetic (links | edit)
• *-autonomous category (links | edit)
• Programming language theory (links | edit)
• Chu space (links | edit)
• Meta-circular evaluator (links | edit)
• Aix-Marseille University (links | edit)
• Jean-yves girard (redirect page) (links | edit)
• Normal form (abstract rewriting) (links | edit)
• Geometry of interaction (links | edit)
• List of incomplete proofs (links | edit)
• Dialectica interpretation (links | edit)
• Pure type system (links | edit)
• Timeline of category theory and related mathematics (links | edit)
• Poncelet Prize (links | edit)
• List of French inventions and discoveries (links | edit)
• Fast-growing hierarchy (links | edit)
• Slow-growing hierarchy (links | edit)
• Jean-Yves (links | edit)
• J.-Y. Girard (redirect page) (links | edit)
  • User talk:Liz/Whiteboard2 (links | edit)
• Dialogical logic (links | edit)
• Girard (surname) (links | edit)
• François Fages (links | edit)
• List of International Congresses of Mathematicians Plenary and Invited Speakers (links | edit)
• System U (links | edit)
• Boolean algebra (links | edit)
• J-Y. Girard (redirect page) (links | edit)
• Talk:Jean-Yves Girard (transclusion) (links | edit)