Jean-Yves Girard

External links

View on OpenLibrary

Books by Jean-Yves Girard

Jean-Yves Girard: The Blind Spot (2011, European Mathematical Society) No rating

The Blind Spot

by

Jean-Yves Girard, Yves Lafont, Paul Taylor: Proofs and Types (Hardcover, Cambridge University Press) No rating

Proofs and Types

by , ,