Girard Reading Group

From Girard Reading Group

Welcome to the web home of CMU's Girard/Ludics Reading Group.

Entry Points

• Ludics
• Pitchforks
• Subformula
• Questions about ludics

Notices

• Mailing List: I'm not providing a direct link to the webpage for the mailing list because of spam concerns, but it can be found by going here and then adding the suffix /girard-rg to the URL. (TODO: hook this up to reCAPTCHA)

• CAPTCHAs: editing is captcha-protected unless until someone gives you the mustardseed permission - create yourself an account, then send Rob an email or poke him on his talk page or in his office to make your life easier.

• Inference Rules It's really annoying to write inference rules using MediaWiki's LaTeX plugin, so I (Rob) am going to suggest we do fixed-width font derivations instead of the Mediawiki math module; that said, I'll install that module if people want. You can get MediaWiki to go fixed-width by starting a line with a space, for instance:

|- ξ*1,Γ    |- ξ*4,Δ
————————————————————
      ξ |- Γ,Δ