Clicky

Advances in linear logic by Jean-Yves Girard and similar books you'll love - Bookscovery

Home > Authors > Jean-Yves Girard > Advances in linear logic

Buy at: Bookshop.org Amazon

Advances in linear logic

Jean-Yves Girard, Yves Lafont

Recent activity

Rate this book to see your activity here.

10 Books Similar to Advances in linear logic by Jean-Yves Girard

Bookscovery readers who liked Advances in linear logic also like Face à faces, Immortal Element and Le fantôme de la transparence. How many of these have you read?

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

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 Advances in linear logic

Please sign in to leave a comment