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 Wikipedia (en)

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

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 (9)

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 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
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. NUKAT Center of Warsaw University Library Wikipedia (en) Sudoc [ABES], France Central Institute for the Union Catalogue of the Italian libraries National Library of France
Proof theory and logical complexity. 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 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 About

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