Spring naar hoofdinhoud

Afbeelding auteur

Jean-Yves Girard

Auteur van Proofs and Types

11+ Werken 70 Leden 0 Besprekingen Favoriet van 1 leden

Werken van Jean-Yves Girard

Populair Recent

Proofs and Types (1989) 27 exemplaren

Advances in Linear Logic (1995) 9 exemplaren

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

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

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

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

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

Proof Theory and Logical Complexity : Volume I (Studies in Proof Theory) (1990) 2 exemplaren

Proof theory and logical complexity (1987) 2 exemplaren

Face à faces : Michel Courtemanche (2018) 1 exemplaar

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

Gerelateerde werken

La machine de Turing (1995) 24 exemplaren

Tagged

2009 (1) @eB (1) @uasc (1) B2 (2) Biografie (1) C5 (1) computer science tripos reading list 2009-2010 (1) CS (1) Documentaire adulte (1) E-boek (1) essays (1) Filosofie (1) Grenier (1) Informatica (4) Lambdacalculus (1) linear logic (4) Logica (7) logique (1) momenteel aan het lezen (1) Non-fictie (1) Programmeren (1) Programmeren (3) proofs and types (1) Springer (1) te lezen (3) Typentheorie (1) Wiskunde (4) x4 (1)

Trefwoordvertaling ingeschakeld

Algemene kennis

Pseudoniemen en naamsvarianten: GIRARD, Jean-Yves
GIRARD, Jean Yves
Geslacht: male
Nationaliteit: France

Leden

Misschien vindt je deze ook leuk

Gerelateerde auteurs

Yves Lafont Editor

Laurent Regnier Editor

Statistieken

Werken: 11
Ook door: 1
Leden: 70
Populariteit: #248,179
Waardering: ½ 4.7

ISBNs: 16
Talen: 1
Favoriet: 1

Tabellen & Grafieken

Bekijk meer tabellen en grafieken

Afbeeldingen

Links

Wikipedia (English) (onbevestigd)

Helpers hoek

LibraryThing-leden verbeteren auteurs door auteursnamen en werken te combineren, gelijknamige auteurs te splitsen, en meer.

Ben jij dit?

Word een LibraryThing Auteur.

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

Onze site gebruikt cookies om diensten te leveren, prestaties te verbeteren, voor analyse en (indien je niet ingelogd bent) voor advertenties. Door LibraryThing te gebruiken erken je dat je onze Servicevoorwaarden en Privacybeleid gelezen en begrepen hebt. Je gebruik van de site en diensten is onderhevig aan dit beleid en deze voorwaarden.