The Blind Spot

Lectures on proof-theory, Roma Tre, October-December 2004.
English translation.


• coursang0.pdf.gz

Girard, J.-Y. : The Blind Spot : Table of contents and introduction (2006/01/16).
 
• coursang1.pdf.gz

Girard, J.-Y. : The Blind Spot I : The basics, ch. 1-4 (2006/01/15).
 
• coursang2.pdf.gz

Girard, J.-Y. : The Blind Spot II : Around Curry-Howard, ch. 5-7 (2006/01/15).
 
• coursang3.pdf.gz

Girard, J.-Y. : The Blind Spot III : Linear logic, ch. 8-11 (2006/01/15).
 
• coursang4.pdf.gz

Girard, J.-Y. : The Blind Spot IV : Polarised interpretations, ch. 12-15 (2006/01/15).
 
• coursang5.pdf.gz

Girard, J.-Y. : The Blind Spot V : Iconoclasm, ch. 16-20 (2006/01/16).
 
• coursang6.pdf.gz

Girard, J.-Y. : The Blind Spot : Envoi and bibliography (2006/01/24).