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: 
Blanchard, Patrice
Girard, Jean-Yves (1947-....))
Lafont, Yves (1961-....))
Loi, Maurice (1924-2000))
Michaud, Yves (1944-....))
Régnier, Laurent
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
Cinq conférences sur l'indécidabilité
CONTRIBUTION A L'ETUDE DE LA VASCULARISATION DE LA TETE RADIALE
démonstrations de cohérence de l'arithmétique, Les
Deux contributions de la dualité de Stone à l'informatique théorique
EXECUTION ET PROGRAMMES
fondements des mathématiques, Les
Girard's festschrift
Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur
LAMBDA-CALCUL ET RESEAUX
Logique dans le facteur hyperfini Géométrie de l' interaction et complexité
Logique Linéaire appliquée à l'étude de divers processus de normalisation (principalement du Lambda-calcul), La
Logiques, catégories & machines : implantation de langages de programmation guidée par la logique catégorique
machine de Turing, La
On the dynamics of ludics a study of interaction
[Pi puissance 1 indice 2] logic. Dilators
point aveugle, Le : cours de logique.
Proof theory and logical complexity.
Proofs and types
RESEAUX ET SEQUENTS ORDONNES
Second order indexed linear logique
Sur la dynamique de la ludique : une étude de l'interaction
théorème de Gödel, Le
théorie géométrique des ordinaux, Une
Three-valued logic and cut-elimination : the actual meaning of Takeuti's conjecture
TLCA '99
Towards new logic and semantics Franco-Japanese collaborative lectures on philosophy of logic
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