Clicky

Proofs and types by Jean-Yves Girard and similar books you'll love - Bookscovery

Home > Authors > Jean-Yves Girard > Proofs and types

Buy at: Bookshop.org Amazon

Proofs and types

Jean-Yves Girard

See on goodreads | librarything

Recent activity

Rate this book to see your activity here.

10 Books Similar to Proofs and types by Jean-Yves Girard

Bookscovery readers who liked Proofs and types also like Advances in linear logic, Face à faces and Immortal Element. How many of these have you read?

Advances in linear logic by Jean-Yves Girard

Cover of Advances in linear logic
Buy this book at:
Bookshop.org Amazon

Face à faces by Jean-Yves Girard

Cover of Face à faces
Buy this book at:
Bookshop.org Amazon

Immortal Element by Jean-Yves Girard

Cover of Immortal Element
Buy this book at:
Bookshop.org Amazon

Le fantôme de la transparence by Jean-Yves Girard

Cover of Le fantôme de la transparence
Buy this book at:
Bookshop.org Amazon

Linear Logic in Computer Science by Jean-Yves Girard

Cover of Linear Logic in Computer Science
Buy this book at:
Bookshop.org Amazon

Machine de Turing by Jean-Yves Girard

Cover of Machine de Turing
Buy this book at:
Bookshop.org Amazon

Proof Theory and Logical Complexity by Jean-Yves Girard

Cover of Proof Theory and Logical Complexity
Buy this book at:
Bookshop.org Amazon

Proof Theory Logical Complexity (Studies in Proof Theory) by Jean-Yves Girard

Cover of Proof Theory Logical Complexity (Studies in Proof Theory)
Buy this book at:
Bookshop.org Amazon

The blind spot by Jean-Yves Girard

Cover of The blind spot
Buy this book at:
Bookshop.org Amazon

Typed Lambda Calculi and Applications by Jean-Yves Girard

Cover of Typed Lambda Calculi and Applications
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Proofs and types

Please sign in to leave a comment