Jean-Yves Girard, The Blind Spot (2006)
This book can be found there.
- When are we meeting?
- On Thursdays, 12:00 – 1:30. (see exceptions below)
- Where?
- Levine Hall, room 512.
Schedule
- June 12th
Limin - "I.3. Classical sequents : LK" (coursang1.pdf.gz)
- June 18th (Wednesday!)
Jianzhou - "I.4. Intuitionistic logic: LJ and NJ" (coursang1.pdf.gz)
- "II.5. Functional interpretations" (coursang2.pdf.gz)
June 26th- July 3rd
Guillaume - "II.7.1 The three layers" (coursang2.pdf.gz)
- Karl
- "III. 9. Linear logic" (coursang3.pdf.gz)
- "III. 10. Perfection vs. imperfection" (coursang3.pdf.gz)
- Thursday 10th
Jeffrey - "III. 11. Proof-nets" (coursang3.pdf.gz)
- Thursday 17th
Guillaume - "IV.15 Orthodox exponentials" (coursang4.pdf.gz), esp. "IV.15.C Polarized Linear Logic"
- Thursday 24th
Guillaume - LLP, system L and classical realizability
