Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000078296607 | 1 hits
Person
ISNI: 
0000 0000 7829 6607
Name: 
Girard, J. Y.
Girard, Jean-Yves
Girard, Jean-Yves, (Auteur.)
Dates: 
1947-...
Creation class: 
Computer file
Language material
Projected medium
Text
Creation role: 
author
editor
redactor
Related names: 
Basch, Julien
Blanchard, Patrice
Lafont, Yves (1961-...)
Loi, Maurice (1924-2000))
Regnier, Laurent (19..-.... mathématicien)
Seiller, Thomas (1984-....))
Taylor, Paul (1960- ))
Thom, René (1923-2002))
Turing, Alan Mathison (1912-1954)
Université Paris Diderot - Paris 7 Organisme de soutenance
Titles: 
Advances in linear logic
blind spot lectures on logic, The
Démonstrations de cohérence de l'arithmétique, Les
fondements des mathématiques, Les
Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur
machine de Turing, La
point aveugle cours de logique, Le
Proof theory and logical complexity
Proofs and types
Théorème de Gödel, Le
Typed lambda calculi and applications 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
Vers l'imperfection
Notes: 
Thèse de doctorat : Mathématiques : Paris 7 : 1972
Sources: 
VIAF ICCU LC NKC NLP NSK NTA NUKAT SUDOC WKP