Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (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)
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, Le : cours de logique
Proof theory and logical complexity
Proofs and types ; translated and with an appendices by Paul Taylor, Yves Lafont
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