VIAF

Virtual International Authority File

Search

Girard, Jean-Yves. National and University Library in Zagreb Library of Congress/NACO German National Library Central Institute for the Union Catalogue of the Italian libraries National Library of the Netherlands-test NUKAT Center of Warsaw University Library

Girard, Jean-Yves, 1947-.... National Library of Poland National Library of the Czech Republic German National Library Sudoc [ABES], France ISNI-test National Library of France

Jean-Yves Girard Wikidata

VIAF ID: 84575083 (Personal)

Permalink: http://viaf.org/viaf/84575083

ISNI-test: 0000  0000  7829  6607 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (15)

Open Section Close Section 5xx's: Related Names (1)

  • 510 2 _ ‎‡a  Institut de Mathématiques‏ ‎‡9  g:Luminy‏ ‎‡e  Affiliation German National Library

Open Section Close SectionWorks

Title Sources
Advances in linear logic / edited by Jean-Jacques Girard, Yves Lafont, Laurent Regnier Library of Congress/NACO Sudoc [ABES], France Central Institute for the Union Catalogue of the Italian libraries National Library of the Netherlands-test NUKAT Center of Warsaw University Library National Library of France
˜The œblind spot lectures on logic NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France
Cinq conférences sur l'indécidabilité Sudoc [ABES], France National Library of France
Computing machinery and intelligence National Library of France
CONTRIBUTION A L'ETUDE DE LA VASCULARISATION DE LA TETE RADIALE Sudoc [ABES], France
˜Les œDémonstrations de cohérence de l'arithmétique Sudoc [ABES], France National Library of France
Deux contributions de la dualité de Stone à l'informatique théorique Sudoc [ABES], France
EXECUTION ET PROGRAMMES Sudoc [ABES], France
˜Les œfondements des mathématiques Sudoc [ABES], France National Library of France
Girard's festschrift NUKAT Center of Warsaw University Library
Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur National Library of the Netherlands-test Sudoc [ABES], France
LAMBDA-CALCUL ET RESEAUX Sudoc [ABES], France
Linear logic in computer science Sudoc [ABES], France
Logique dans le facteur hyperfini Géométrie de l' interaction et complexité Sudoc [ABES], France
La Logique Linéaire appliquée à l'étude de divers processus de normalisation (principalement du Lambda-calcul) Sudoc [ABES], France
Logiques, catégories & machines : implantation de langages de programmation guidée par la logique catégorique Sudoc [ABES], France
˜La œmachine de Turing Sudoc [ABES], France National Library of France
On computable numbers National Library of France
On the dynamics of ludics a study of interaction Sudoc [ABES], France
˜Les œordinateurs et l'intelligence National Library of France
[Pi puissance 1 indice 2] logic. Dilators Sudoc [ABES], France
Le point aveugle : cours de logique / Jean Yves Girard Central Institute for the Union Catalogue of the Italian libraries NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France
Proof theory and logical complexity / Jean-Yves Girard Library of Congress/NACO Sudoc [ABES], France Central Institute for the Union Catalogue of the Italian libraries National Library of the Netherlands-test NUKAT Center of Warsaw University Library National Library of France
Proofs and types / Jean-Yves Girard ; translated and with an appendices by Paul Taylor, Yves Lafont National and University Library in Zagreb Library of Congress/NACO Sudoc [ABES], France Central Institute for the Union Catalogue of the Italian libraries National Library of the Netherlands-test NUKAT Center of Warsaw University Library
RESEAUX ET SEQUENTS ORDONNES Sudoc [ABES], France
Second order indexed linear logique Sudoc [ABES], France
Sur la dynamique de la ludique : une étude de l'interaction Sudoc [ABES], France
˜Le œThéorème de Gödel Sudoc [ABES], France National Library of France
Théorie des nombres calculables, suivie d'une application au problème de la décision National Library of France
Une théorie géométrique des ordinaux Sudoc [ABES], France
Three-valued logic and cut-elimination : the actual meaning of Takeuti's conjecture NUKAT Center of Warsaw University Library National Library of the Netherlands-test National Library of Poland
TLCA '99 National Library of the Netherlands-test
Towards new logic and semantics Franco-Japanese collaborative lectures on philosophy of logic Sudoc [ABES], France
Typed lambda calculi and applications 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings National Library of the Netherlands-test Library of Congress/NACO German National Library NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France
Vers l'imperfection NUKAT Center of Warsaw University Library National Library of France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (11)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section History of VIAF ID:84575083 (33)