The Work
An analysis of Girard's paradox
The details
The Author
Thierry Coquand
The offers