Passer au contenu principal

Come join our latest LibraryThing Hunt!

Photo de l'auteur

Jean-Yves Girard

Auteur de Proofs and Types

10+ oeuvres 68 utilisateurs 0 critiques 1 Favoris

Œuvres de Jean-Yves Girard

Populaires Récent

Proofs and Types (1989) 27 exemplaires

Advances in Linear Logic (1995) 9 exemplaires

Le Point Aveugle: Tome 1. Cours de Logique, Vers la perfection. (2006) 7 exemplaires

The Blind Spot: Lectures on Logic (2011) 7 exemplaires

Le point aveugle : Cours de logique Tome 2, Vers l'imperfection (2007) 6 exemplaires

Le Fantôme de la Transparence (2016) 5 exemplaires

Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 :… (1999) 3 exemplaires

Proof theory and logical complexity (1987) 2 exemplaires

Face à faces : Michel Courtemanche (2018) 1 exemplaire

Claudette Dion. la Soeur de... (2017) 1 exemplaire

Explorateur d'oeuvres

Oeuvres associées

La Machine de Turing (1995) 24 exemplaires

Étiqueté

2009 (1) @eB (1) @uasc (1) A lire (3) B2 (2) Biographie (1) C5 (1) computer science tripos reading list 2009-2010 (1) CS (1) Documentaire adulte (1) En cours de lecture (1) essais (1) Grenier (1) Informatique (4) Lambda-calcul (1) Livre électronique (1) logique (1) Logique (7) Logique linéaire (4) Mathématiques (4) non-fiction (1) Philosophie (1) Programmation (3) Programmation informatique (1) proofs and types (1) Springer (1) Théorie des types (1) X4 (1)

Traduction des mots-clés activée

Partage des connaissances

Autres noms: GIRARD, Jean-Yves
GIRARD, Jean Yves
Sexe: male
Nationalité: France

Membres

Vous aimerez peut-être aussi

Auteurs associés

Yves Lafont Editor

Laurent Regnier Editor

Statistiques

Œuvres: 10
Aussi par: 1
Membres: 68
Popularité: #253,411
Évaluation: ½ 4.7

ISBN: 15
Langues: 1
Favoris: 1

Tableaux et graphiques

Voir plus de tableaux et graphiques

Photos

Galerie des auteurs

Liens

Wikipedia (English) (non confirmé)

Centre d'aide

Les membres de LibraryThing améliorent les auteurs en combinant les noms d'auteurs et les œuvres, en séparant les auteurs homonymes en identités distinctes, et bien plus encore.

Est-ce vous ?

Devenez un(e) auteur LibraryThing.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Ce site utilise des cookies pour fournir nos services, optimiser les performances, pour les analyses, et (si vous n'êtes pas connecté) pour les publicités. En utilisant Librarything, vous reconnaissez avoir lu et compris nos conditions générales d'utilisation et de services. Votre utilisation du site et de ses services vaut acceptation de ces conditions et termes.