Girard, Jean-Yves.
Girard, Jean-Yves, 1947-....
VIAF ID: 84575083 (Personal)
Permalink: http://viaf.org/viaf/84575083
Preferred Forms
-
100 1 _ ‡a Girard, Jean-Yves, ‡d 1947-
-
200 _ | ‡a Girard ‡b Jean-Yves ‡f 1947-....
-
100 1 _ ‡a Girard, Jean-Yves.
-
100 1 _ ‡a Girard, Jean-Yves
-
100 1 _ ‡a Girard, Jean-Yves ‡d 1947-
-
100 1 _ ‡a Girard, Jean-Yves, ‡d 1947-....
-
100 1 _ ‡a Girard, Jean-Yves
-
100 1 _ ‡a Girard, Jean Yves
4xx's: Alternate Name Forms (7)
5xx's: Related Names (1)
- 510 2 _
‡a
Institut de Mathématiques
‡e
Affiliation
Selected Titles
- Le point aveugle cours de logique
(5)
- Proofs and types
(4)
- Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
(3)
- Proof theory and logical complexity
(3)
- Advances in linear logic
(3)
- The blind spot lectures on logic
(2)
- Les ordinateurs et l'intelligence
(2)
- Le Théorème de Gödel
(2)
- La machine de Turing
(2)
- Typed lambda calculi and applications
(2)
