Author

Jean-Yves Girard

12 books found

Cover of Face à faces

Face à faces

Jean-Yves Girard · First published 2018

Cover of Immortal Element

Immortal Element

Jean-Yves Girard · First published 2018

Cover of Le fantôme de la transparence

Le fantôme de la transparence

Jean-Yves Girard · First published 2016

Cover of The blind spot

The blind spot

Jean-Yves Girard · First published 2011

Cover of Linear Logic in Computer Science

Linear Logic in Computer Science

Jean-Yves Girard, Philip Scott · First published 2004

Cover of Le parc nucléaire actuel

Le parc nucléaire actuel

Philippe Girard, Yves Marignac, Jean Tassart, France. Commissariat général du plan, France. Mission d'évaluation économique de la filière nucléaire · First published 2000

Cover of Machine de Turing

Machine de Turing

Jean-Yves Girard · First published 1999

Cover of Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Jean-Yves Girard · First published 1999

Cover of Advances in linear logic

Advances in linear logic

Jean-Yves Girard, Yves Lafont · First published 1995

Cover of Proofs and types

Proofs and types

Jean-Yves Girard · First published 1989

Cover of Proof Theory and Logical Complexity

Proof Theory and Logical Complexity

Jean-Yves Girard · First published 1987

Cover of Proof Theory Logical Complexity (Studies in Proof Theory)

Proof Theory Logical Complexity (Studies in Proof Theory)

Jean-Yves Girard · First published 1987