Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

Photo de GIRARD Jean-yves
GIRARD Jean-Yves      
Emerite CNRS
jeanygirard_AT_gmail.com
04 91 26 96 58
Bureau: 226, Bât: TPR2 - Site : Luminy

Curriculum Vitae:     
Directeur de Recherches émérite depuis le 10/09/2012.
Domaines de Recherche:

Productions scientifiques :
--------------------
+ Transcendental syntax 2: non deterministic case hal link

Auteur(s): Girard J.-Y.

(Document sans référence bibliographique) 2015-11-24

--------------------
+ Transcendental syntax I: deterministic case doi link

Auteur(s): Girard J.-Y.

(Article) Publié: Mathematical Structures In Computer Science, vol. p.23 pages (2015)

--------------------
+ Normativity in Logic doi link

Auteur(s): Girard Jean-Yves

Chapître d'ouvrage: Epistemology Versus Ontology (Essays On The Philosophy And Foundations Of Mathematics In Honour Of Per Martin-Löf), vol. 27 p.243-263 (2012)

--------------------
+ Lectures on Logic doi link

Auteur(s): Girard Jean-Yves

Ouvrage: European Mathematical Society (EMS) (2011) 550 pages

--------------------
+ Geometry of Interaction V: Logic in the hyperfinite factor doi link

Auteur(s): Girard Jean-Yves

(Article) Publié: -Journal Of Theoretical Computer Science (Tcs), vol. 412 p.1860-1883 (2011)