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
| 0 | 0 reads | |
 Proof Theory and Logical Complexity Proof Theory and Logical Complexity
| 0 | 0 reads | |
 The Blind Spot The Blind Spot: Lectures on Logic
| 0 | 0 reads | |
 Linear Logic in Computer Science
| 0 | 0 reads |