luke-fraser documents

Badiou - Absolute (Berlin presentation)
Documents Badiou - Absolute (Berlin presentation)
Lawvere - Quantifiers and Sheaves
Documents Lawvere - Quantifiers and Sheaves
Girard - Towards a Geometry of Interaction
Documents Girard - Towards a Geometry of Interaction
Lorenzo - Introduccion Al Estilo Matematico
Documents Lorenzo - Introduccion Al Estilo Matematico
Cantor - Grundlagen
Documents Cantor - Grundlagen
Girard - Linear Logic (1987)
Documents Girard - Linear Logic (1987)
Taking Cats Serious
Documents Taking Cats Serious