Le fantôme de la transparenceJean-Yves Girard

Le fantôme de la transparence

Jean-Yves Girard · 2016

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2016
Language: French
Publisher: Éditions Allia
Editions: 1
Pages: 248
ISBN: 9791030404449

Data source: Wikidata

More by Jean-Yves Girard

Linear Logic in Computer ScienceJean-Yves Girard

Linear Logic in Computer Science

Jean-Yves Girard · 2004

Typed Lambda Calculi and ApplicationsJean-Yves Girard

Typed Lambda Calculi and Applications

Jean-Yves Girard · 1999

Advances in linear logicJean-Yves Girard

Advances in linear logic

Jean-Yves Girard · 1995

The blind spotJean-Yves Girard

Jean-Yves Girard · 2011

Proof Theory and Logical ComplexityJean-Yves Girard

Proof Theory and Logical Complexity

Jean-Yves Girard · 1990

Proofs and typesJean-Yves Girard

Proofs and types

Jean-Yves Girard · 1989

Face à facesJean-Yves Girard

Jean-Yves Girard · 2018

Immortal ElementJean-Yves Girard

Immortal Element

Jean-Yves Girard · 2018

Machine de TuringJean-Yves Girard

Machine de Turing

Jean-Yves Girard · 1999

Proof Theory Logical Complexity (Studies in Proof Theory)Jean-Yves Girard

Proof Theory Logical Complexity (Studies in Proof Theory)

Jean-Yves Girard · 1987