Proofs and typesJean-Yves Girard
Proofs and types
Jean-Yves Girard · 1989
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.
Book details
- Year
- 1989
- Language
- English
- Series
- Cambridge Tracts in Theoretical Computer Science
- Publisher
- Cambridge University Press
- Editions
- 1
- Pages
- 192
- ISBN
- 9780521371810
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
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