Proofs and typesJean-Yves Girard
Proofs and types
Jean-Yves Girard · 1989
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1989
- שפה
- English
- סדרה
- Cambridge Tracts in Theoretical Computer Science
- הוצאה
- Cambridge University Press
- מהדורות
- 1
- עמודים
- 192
- ISBN
- 9780521371810
מקור הנתונים: 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
The blind spot
Jean-Yves Girard · 2011
Proof Theory and Logical ComplexityJean-Yves Girard
Proof Theory and Logical Complexity
Jean-Yves Girard · 1990
Face à facesJean-Yves Girard
Face à faces
Jean-Yves Girard · 2018
Immortal ElementJean-Yves Girard
Immortal Element
Jean-Yves Girard · 2018
Le fantôme de la transparenceJean-Yves Girard
Le fantôme de la transparence
Jean-Yves Girard · 2016
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