Jean-Yves Girard

Linear Logic in Computer Science

Typed Lambda Calculi and Applications

Advances in linear logic

The blind spot

Proof Theory and Logical Complexity

Proofs and types

Face à faces

Immortal Element

Le fantôme de la transparence

Machine de Turing

Proof Theory Logical Complexity (Studies in Proof Theory)