Jean-Yves Girard
Jean-Yves Girard
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryIE
Immortal Element
cover - Image source: Open LibraryFÀ
Face à faces
cover - Image source: Open LibraryTB
The blind spot
cover - Image source: Open LibraryLL
Linear Logic in Computer Science
cover - Image source: Open LibraryTL
Typed Lambda Calculi and Applications
cover - Image source: Open LibraryAI
Advances in linear logic
cover - Image source: Open LibraryPT
Proof Theory and Logical Complexity
cover - Image source: Open LibraryPA
Proofs and types
cover - LFLe fantôme de la transparenceJean-Yves Girard
Le fantôme de la transparence
no cover - MDMachine de TuringJean-Yves Girard
Machine de Turing
no cover - PTProof Theory Logical Complexity...Jean-Yves Girard
Proof Theory Logical Complexity (Studies in Proof Theory)
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Immortal Element
- Open Work
Face à faces
- Open Work
The blind spot
- Open Work
Linear Logic in Computer Science
- Open Work
Typed Lambda Calculi and Applications
- Open Work
Advances in linear logic
- Open Work
Proof Theory and Logical Complexity
- Open Work
Proofs and types
- Open Work
Le fantôme de la transparence
- Open Work
Machine de Turing
- Open Work
Proof Theory Logical Complexity (Studies in Proof Theory)