Linear Logic in Computer ScienceJean-Yves Girard
Linear Logic in Computer Science
Jean-Yves Girard, Philip Scott · 2004
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
על הספר
This book illustrates linear logic in the application of proof theory to computer science.
פרטי הספר
- שנה
- 2004
- שפה
- English
- הוצאה
- Cambridge University Press
- מהדורות
- 3
- עמודים
- 393
- ISBN
- 9781299405172
מקור הנתונים: Wikidata
עוד של Jean-Yves Girard
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
Proofs and typesJean-Yves Girard
Proofs and types
Jean-Yves Girard · 1989
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