J
Jean-Yves Girard
11 works on record
Works

Advances in linear logic

Proofs and types

The blind spot

Linear Logic in Computer Science

Immortal Element

Face à faces

Proof Theory and Logical Complexity

Typed Lambda Calculi and Applications
Machine de Turing
Machine de Turing
Le fantôme de la transparence
Le fantôme de la transparence
Proof Theory Logical Complexity (Studies in Proof Theory)
Proof Theory Logical Complexity (Studies in Proof Theory)