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.

|- ξ*1,Γ   |- ξ*4,Δ ————————————————————      ξ |- Γ,Δ
 * 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: