Jean-Yves Girard

Country : France
Language : français
Note :
Enseignant à l'université de Paris VII. - Directeur de recherche au CNRS (Marseille, en 2000)
ISNI : ISNI 0000 0000 7829 6607

Activities of Jean-Yves Girard (15)

Auteur du texte (10)

Le fantôme de la transparence
The blind spot
Le point aveugle Tome 2
Le point aveugle Tome 1
Le point aveugle
Les fondements des mathématiques
Proof theory and logical complexity
Cinq conférences sur l'indécidabilité
Les Démonstrations de cohérence de l'arithmétique
Le champ du signe ou La faillite du réductionnisme

Éditeur scientifique (4)

La machine de Turing
Typed lambda calculi and applications
La machine de Turing
Advances in linear logic

Postfacier (1)

Le Théorème de Gödel

See also (7)