WorldCat Identities

Girard, Jean-Yves

Overview
Works: 76 works in 190 publications in 4 languages and 2,308 library holdings
Genres: Conference proceedings 
Roles: Editor, Honoree, Creator, Interviewee
Classifications: QA9, 511.3
Publication Timeline
Key
Publications about  Jean-Yves Girard Publications about Jean-Yves Girard
Publications by  Jean-Yves Girard Publications by Jean-Yves Girard
Most widely held works about Jean-Yves Girard
 
Most widely held works by Jean-Yves Girard
Advances in linear logic by Jean-Yves Girard ( )
17 editions published between 1995 and 2003 in English and held by 690 WorldCat member libraries worldwide
This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area
Proofs and types by Jean-Yves Girard ( Book )
19 editions published between 1989 and 1993 in English and held by 362 WorldCat member libraries worldwide
Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings by Jean-Yves Girard ( Book )
17 editions published between 1997 and 1999 in English and German and held by 300 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 4th International Conference on Typed Lambda Calculi and Applications, TLCA'99, held in L'Aquila, Italy in April 1999. The 25 revised full papers presented were carefully reviewed and selected from a total of 50 submissions. Also included are two invited demonstrations. The volume reports research results on various aspects of typed lambda calculi. Among the topics addressed are noncommutative logics, type theory, algebraic data types, logical calculi, abstract data types, and subtyping
Proof theory and logical complexity by Jean-Yves Girard ( Book )
8 editions published in 1987 in English and held by 177 WorldCat member libraries worldwide
La Machine de Turing by Alan Mathison Turing ( Book )
4 editions published between 1995 and 1999 in French and held by 121 WorldCat member libraries worldwide
The blind spot : lectures on logic by Jean-Yves Girard ( Book )
7 editions published in 2011 in English and held by 104 WorldCat member libraries worldwide
Gödel's proof by Ernest Nagel ( Book )
5 editions published between 1989 and 1997 in French and Italian and held by 71 WorldCat member libraries worldwide
En 1931, Kurt Godel démontrait, dans un article révolutionnaire, l'incomplétude de tout système axiomatique contenant la théorie des nombres. Apparemment très technique, ce théorème bouleversait de fond en comble la philosophie des mathématiques
Three-valued logic and cut-elimination : the actual meaning of Takeuti's conjecture by Jean-Yves Girard ( Book )
6 editions published in 1976 in English and held by 66 WorldCat member libraries worldwide
Le point aveugle : cours de logique by Jean-Yves Girard ( Book )
2 editions published in 2006 in French and held by 65 WorldCat member libraries worldwide
Proof theory and logical complexity by Jean-Yves Girard ( Book )
8 editions published in 1987 in English and Undetermined and held by 62 WorldCat member libraries worldwide
Le point aveugle : cours de logique by Jean-Yves Girard ( Book )
2 editions published in 2007 in French and held by 59 WorldCat member libraries worldwide
Cinq conférences sur l'indécidabilité by Nicolas Bouleau ( Book )
2 editions published in 1983 in French and held by 27 WorldCat member libraries worldwide
Typed lambda calculi and applications : 4th international conference, TLCA '99, L'Aquila, Italy, April 7 - 9, 1999 ; proceedings ( Book )
2 editions published in 1999 in English and held by 19 WorldCat member libraries worldwide
Linear logic in computer science by Thomas Ehrhard ( )
3 editions published in 2004 in English and held by 18 WorldCat member libraries worldwide
This book illustrates linear logic in the application of proof theory to computer science
Les fondements des mathématiques by Jean-Yves Girard ( Visual )
4 editions published between 2000 and 2005 in French and held by 13 WorldCat member libraries worldwide
La "crise des fondements" s'ouvre en 1897 avec le paradoxe de Burali-Forti, une contradiction dans la toute jeune théorie des Ensembles. Parmi les solutions proposées, le "Programme de Hilbert" (1925 environ) accorde un rôle privilégié à la non-contradiction formelle
Le point aveugle : cours de logique by Jean-Yves Girard ( Book )
4 editions published between 2006 and 2007 in French and held by 10 WorldCat member libraries worldwide
Linear logic ( Book )
2 editions published in 2003 in English and held by 5 WorldCat member libraries worldwide
Logiques, catégories & machines : implantation de langages de programmation guidée par la logique catégorique by Yves Lafont ( Book )
1 edition published in 1988 in French and held by 5 WorldCat member libraries worldwide
DANS LE PREMIER CHAPITRE EST PROPOSEE UNE VUE D'ENSEMBLE SUR DES RAPPORTS ENTRE LOGIQUE, THEORIE DES CATEGORIES ET INFORMATIQUE DANS LE CAS DE LA PROGRAMMATION FONCTIONNELLE. LE DEUXIEME CHAPITRE CONTIENT UNE INTRODUCTION A LA LOGIQUE LINEAIRE AINSI QUE LES PRINCIPES DE LA MACHINE LINEAIRE. L'IMPLANTATION D'UN NOUVEAU LANGAGE QUI INTEGRE DES CARACTERISTIQUES NON FONCTIONNELLES, TOUT EN CONSERVANT LA NATURE DECLARATIVE DES LANGAGES FONCTIONNELS PURS EST PROPOSEE DANS LE TROISIEME CHAPITRE
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.68 (from 0.35 for Proof theo ... to 1.00 for Le point a ...)
Alternative Names
Girard, J. Y.
Girard, J.-Y. 1947-
Girard, J.-Y. (Jean-Yves)
Girard, Jean-Y. 1947-
Girard, Jean-Yves
Girard, Jean Yves 1947-
Languages
English (89)
French (25)
Italian (2)
German (1)
Covers