The Work
Proofs and Types
The details
The Author
Jean-Yves Girard
The offers
View hardback on Amazon
