Le fantôme de la transparenceJean-Yves Girard

Le fantôme de la transparence

Jean-Yves Girard · 2016

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2016
שפה: French
הוצאה: Éditions Allia
מהדורות: 1
עמודים: 248
ISBN: 9791030404449

מקור הנתונים: Wikidata

עוד של 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