Books by Jean-Yves Girard
Face à faces
Immortal Element
Le fantôme de la transparence
Le fantôme de la transparence
Linear Logic in Computer Science
Machine de Turing
Machine de Turing
Advances in linear logic
Proof Theory and Logical Complexity
Proofs and types
Proof Theory Logical Complexit
Proof Theory Logical Complexity (Studies in Proof Theory)