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 ...
![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
![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)
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
![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)