Girard, Jean-Yves.
Girard, Jean-Yves, 1947-....
Jean-Yves Girard
VIAF ID: 84575083 ( Personal )
Permalink: http://viaf.org/viaf/84575083
Preferred Forms
- 200 _ 1 ‡a Girard ‡b , Jean Yves
- 200 _ | ‡a Girard ‡b Jean-Yves ‡f 1947-....
- 100 1 _ ‡a Girard, Jean Yves
-
-
-
-
-
- 100 1 _ ‡a Girard, Jean-Yves
-
-
- 100 1 _ ‡a Girard, Jean-Yves ‡d 1947-
-
- 100 1 _ ‡a Girard, Jean-Yves, ‡d 1947-....
-
- 100 0 _ ‡a Jean-Yves Girard
4xx's: Alternate Name Forms (20)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Advances in linear logic | |
The 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 | |
Embeddability of ptykes | |
Etude de la polarisation en logique | |
EXECUTION ET PROGRAMMES | |
fantôme de la transparence | |
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 | |
LAMBDA-CALCULUS AND PURE NETS. | |
LINEAR LOGIC APPLIED TO THE STUDY OF NORMALIZATION PROCESSES AND ESPECIALLY TO LAMBDA-CALCULUS. | |
Logique dans le facteur hyperfini : Géométrie de l' interaction et complexité | |
La Logique Linéaire appliquée à l'étude de divers processus de normalisation (principalement du Lambda-calcul) | |
La logique linéaire : séance du 9 février 1987 | |
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 | |
ORDERED SEQUENTS AND PROOF NETS. | |
ordinateurs et l'intelligence | |
[Pi puissance 1 indice 2] logic. Dilators | |
Le point aveugle : cours de logique. | |
Proof theory and logical complexity. | |
Proofs and types | |
RESEAUX ET SEQUENTS ORDONNES | |
Second order indexed linear logique. | |
Set recursion and π1/2-logic | |
THE STRUCTURE OF LOGICS AND THE LOGIC OF STRUCTURES. LOGICS, CATEGORIES AND SKETCHES. | |
A study of polarization in logic. | |
Sur la dynamique de la ludique : une étude de l'interaction. | |
Sur le semi anneau de résolution | |
Sur les épreuves et les types dans la logique du second ordre | |
Théorème de Gödel | |
Théorie des nombres calculables, suivie d'une application au problème de la décision | |
Une théorie géométrique des ordinaux | |
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 | |
Two contributions of stone duality to theoretical computer science. | |
Typed lambda calculi and applications : 4th international conference, TLCA '99, L'Aquila, Italy, April 7-9, 1999 : proceedings | |
Vers l'imperfection |