Clicky

Linear Logic in Computer Science by Jean-Yves Girard and similar books you'll love - Bookscovery

Home > Authors > Jean-Yves Girard > Linear Logic in Computer Science

Buy at: Bookshop.org Amazon

Linear Logic in Computer Science

Jean-Yves Girard, Philip Scott

This book illustrates linear logic in the application of proof theory to computer science.

See on goodreads

Recent activity

Rate this book to see your activity here.

10 Books Similar to Linear Logic in Computer Science by Jean-Yves Girard

Bookscovery readers who liked Linear Logic in Computer Science 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

Machine de Turing by Jean-Yves Girard

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

Proofs and types by Jean-Yves Girard

Cover of Proofs and types
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 Linear Logic in Computer Science

Please sign in to leave a comment