![Machine de turing (la) by Alan ; Girard, Jean-Yves Turing: Brand New Paperback (1999) | Revaluation Books Machine de turing (la) by Alan ; Girard, Jean-Yves Turing: Brand New Paperback (1999) | Revaluation Books](https://pictures.abebooks.com/isbn/9782020369282-us.jpg)
Machine de turing (la) by Alan ; Girard, Jean-Yves Turing: Brand New Paperback (1999) | Revaluation Books
![Le point aveugle 1 : Cours de logique vers la perfection by Jean-Yves Girard: Brand New Paperback (2006) | Revaluation Books Le point aveugle 1 : Cours de logique vers la perfection by Jean-Yves Girard: Brand New Paperback (2006) | Revaluation Books](https://pictures.abebooks.com/isbn/9782705666330-us.jpg)
Le point aveugle 1 : Cours de logique vers la perfection by Jean-Yves Girard: Brand New Paperback (2006) | Revaluation Books
equivalences.org - Transcendent-alia! — Jean-Yves Girard “Transcendental syntax I: deterministic case”, Revised January 15, 2015 [“Under consideration for publication in 'Math. Struct. in Comp. Science'”, i.e. “No longer a 'blueprint'!"], http://iml ...
![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)