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)