Jean-Yves Girard

Jean-Yves Girard has written at least 4 books. Their most popular book is Proofs and types with 1 save with an average rating of -⭐.