![Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7) - Girard, Jean-Yves; Lafont, Yves; Taylor, Paul: 9780521371810 - AbeBooks Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7) - Girard, Jean-Yves; Lafont, Yves; Taylor, Paul: 9780521371810 - AbeBooks](https://pictures.abebooks.com/isbn/9780521371810-us.jpg)
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7) - Girard, Jean-Yves; Lafont, Yves; Taylor, Paul: 9780521371810 - AbeBooks
![Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222): Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent: 9780521559614: Amazon.com: Books Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222): Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent: 9780521559614: Amazon.com: Books](https://m.media-amazon.com/images/I/51S20TDtMBL._AC_UF1000,1000_QL80_.jpg)
Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222): Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent: 9780521559614: Amazon.com: Books
![Jean-Yves Girard | Liste des membres de l'Académie des sciences / G | Listes par ordre alphabétique | Listes des membres | Membres | Nous connaître Jean-Yves Girard | Liste des membres de l'Académie des sciences / G | Listes par ordre alphabétique | Listes des membres | Membres | Nous connaître](https://www.academie-sciences.fr/images/membre/GirardJY.jpg)