WorldCat Identities

Girard, Jean-Yves

Overview
Works: 68 works in 189 publications in 4 languages and 2,432 library holdings
Genres: Conference proceedings 
Roles: Author, Editor, Honoree, Interviewee, Creator
Classifications: QA9.A1, 511.3
Publication Timeline
.
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 832 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 364 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 )
22 editions published between 1997 and 1999 in English and German and held by 327 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 )
10 editions published in 1987 in English and held by 188 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 122 WorldCat member libraries worldwide
The blind spot : lectures on logic by Jean-Yves Girard( Book )
8 editions published in 2011 in English and held by 107 WorldCat member libraries worldwide
Le point aveugle : cours de logique by Jean-Yves Girard( Book )
5 editions published in 2006 in French and held by 69 WorldCat member libraries worldwide
Proof theory and logical complexity by Jean-Yves Girard( Book )
9 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 )
4 editions published in 2007 in French and held by 61 WorldCat member libraries worldwide
Le théorème de Gödel ( Book )
3 editions published between 1989 and 1997 in French and held by 58 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
Cinq conférences sur l'indécidabilité by Nicolas Bouleau( Book )
3 editions published in 1983 in French and held by 28 WorldCat member libraries worldwide
Linear logic in computer science by Thomas Ehrhard( )
3 editions published in 2004 in English and held by 27 WorldCat member libraries worldwide
This book illustrates linear logic in the application of proof theory to computer science
Three-valued logic and cut-elimination : the actual meaning of Takeuti's conjecture by J. Y Girard( Book )
3 editions published in 1976 in English and held by 21 WorldCat member libraries worldwide
Der Gödelsche Beweis by Ernest Nagel( Book )
3 editions published in 1992 in Italian and held by 19 WorldCat member libraries worldwide
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
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
Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur by Jean-Yves Girard( Book )
2 editions published in 1972 in French and held by 5 WorldCat member libraries worldwide
Le point aveugle : cours de logique by Jean-Yves Girard( )
1 edition published in 2014 in French and held by 4 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.67 (from 0.37 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 (90)
French (34)
Italian (3)
German (1)
Covers