The top documents of luke-fraser
Badiou - Absolute (Berlin presentation)
158 views
Lawvere - Quantifiers and Sheaves
2.424 views
Girard - Towards a Geometry of Interaction
1.904 views
Cantor - Grundlagen
2.020 views
Girard - Linear Logic (1987)
209 views
Taking Cats Serious
214 views