VIAF

Virtual International Authority File

Search

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

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

Jean-Yves Girard Wikidata

VIAF ID: 84575083 (Personal)

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

ISNI: 0000  0000  7829  6607 

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close SectionWorks

Title Sources
Advances in linear logic NUKAT Center of Warsaw University Library National Library of France National Library of the Netherlands Central Institute for the Union Catalogue of the Italian libraries Sudoc [ABES], France Library of Congress/NACO
blind spot lectures on logic NUKAT Center of Warsaw University Library National Library of France Sudoc [ABES], France
Cinq conférences sur l'indécidabilité National Library of France Sudoc [ABES], France
Computing machinery and intelligence National Library of France
CONTRIBUTION A L'ETUDE DE LA VASCULARISATION DE LA TETE RADIALE Sudoc [ABES], France
Démonstrations de cohérence de l'arithmétique National Library of France Sudoc [ABES], France
Deux contributions de la dualité de Stone à l'informatique théorique Sudoc [ABES], France
EXECUTION ET PROGRAMMES Sudoc [ABES], France
fondements des mathématiques National Library of France Sudoc [ABES], 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 Sudoc [ABES], France National Library of the Netherlands
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
machine de Turing National Library of France Sudoc [ABES], France
On computable numbers National Library of France
On proofs and types in second order logic. Sudoc [ABES], France
On the dynamics of ludics a study of interaction Sudoc [ABES], France
ordinateurs et l'intelligence National Library of France
[Pi puissance 1 indice 2] logic. Dilators Sudoc [ABES], France
point aveugle cours de logique NUKAT Center of Warsaw University Library National Library of France Central Institute for the Union Catalogue of the Italian libraries Sudoc [ABES], France
Proof theory and logical complexity NUKAT Center of Warsaw University Library National Library of France National Library of the Netherlands Central Institute for the Union Catalogue of the Italian libraries Sudoc [ABES], France Library of Congress/NACO
Proofs and types / Jean-Yves Girard ; translated and with an appendices by Paul Taylor, Yves Lafont NUKAT Center of Warsaw University Library National Library of the Netherlands Central Institute for the Union Catalogue of the Italian libraries Sudoc [ABES], France Library of Congress/NACO National and University Library in Zagreb
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
Sur les épreuves et les types dans la logique du second ordre Sudoc [ABES], France
Théorème de Gödel National Library of France Sudoc [ABES], 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 National Library of Poland NUKAT Center of Warsaw University Library National Library of the Netherlands
TLCA'99 National Library of the Netherlands
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 NUKAT Center of Warsaw University Library National Library of France Sudoc [ABES], France Library of Congress/NACO German National Library National Library of the Netherlands
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 and Regions 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 (16)