sort by
approximate search
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.)
jan, iv.jirar
Jean-Yves Girard
Jean-Yves Girard (Frans wiskundige)
Jean-Yves Girard (fransk matematikar)
Jean-Yves Girard (fransk matematiker)
Jean-Yves Girard (französischer mathematischer Logiker)
Jean-Yves Girard (French logician)
Жан-Ив Жирар (французский математики и логик)
ジャン=イヴ・ジラール
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
Lafont, Yves (1961-...)
Loi, Maurice (1924-2000))
Michaud, Yves (1944-...)
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
Cinq conférences sur l'indécidabilité
Computing machinery and intelligence
CONTRIBUTION A L'ETUDE DE LA VASCULARISATION DE LA TETE RADIALE
Démonstrations de cohérence de l'arithmétique
Deux contributions de la dualité de Stone à l'informatique théorique
EXECUTION ET PROGRAMMES
fondements des mathématiques
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
On computable numbers
On the dynamics of ludics a study of interaction
ordinateurs et l'intelligence
[Pi puissance 1 indice 2] logic. Dilators
point aveugle cours de logique
Proof theory and logical complexity, c1987- :
Proofs and types, 1989:
Proofs and types ; translated and with an appendices by Paul Taylor, Yves Lafont
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
Théorie des nombres calculables, suivie d'une application au problème de la décision
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 NUKAT SUDOC WKD
BOWKER
NTA