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: 
Language material
Projected medium
Text
Creation role: 
author
editor
redactor
Related names: 
Basch, Julien
Blanchard, Patrice
Girard, Jean-Yves (1947-..)
Lafont, Yves
Laurent, Olivier
Michaud, Yves (1944-..)
Regnier, Laurent
Taylor, Paul (1960- ))
Turing, Alan Mathison (1912-1954)
Université Paris Diderot - Paris 7 Organisme de soutenance
Titles: 
Advances in linear logic
blind spot, The : lectures on logic
Cinq conférences sur l'indécidabilité
Computing machinery and intelligence
Démonstrations de cohérence de l'arithmétique, Les
fondements des mathématiques [Images animées], Les
Girard's festschrift
Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur
Linear logic
machine de Turing, La
On computable numbers
ordinateurs et l'intelligence, Les
point aveugle, Le : cours de logique.
Proof theory and logical complexity
Proofs and types
Théorème de Gödel, Le
Théorie des nombres calculables, suivie d'une application au problème de la décision
Three-valued logic and cut-elimination : the actual meaning of Takeuti's conjecture
TLCA '99
Typed lambda calculi and applications : 4th international conference, TLCA '99, L'Aquila, Italy, April 7-9, 1999 : proceedings
Vers l'imperfection
Vers la perfection
Notes: 
Thèse de doctorat : Mathématiques : Paris 7 : 1972
Sources: 
VIAF BNF ICCU LC NKC NLP NSK NTA NUKAT SUDOC WKP