Linear Logic in Computer ScienceJean-Yves Girard
Linear Logic in Computer Science
Jean-Yves Girard, Philip Scott · 2004
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
About the book
This book illustrates linear logic in the application of proof theory to computer science.
Book details
- Year
- 2004
- Language
- English
- Publisher
- Cambridge University Press
- Editions
- 3
- Pages
- 393
- ISBN
- 9781299405172
Data source: Wikidata
More by 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