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 -⭐.
Proofs and types
ByJean-Yves Girard,Yves LaFont,+1 more
1989 • 1 Reader • 192 pages
Proof Theory and Logical Complexity
ByJean-Yves Girard
1 Reader
The Blind Spot: Lectures on Logic
ByJean-Yves Girard
2011 • 1 Reader
Linear Logic in Computer Science
ByJean-Yves Girard