Lex

Browse

GenresShelvesPremiumBlog

Company

AboutJobsPartnersSell on LexAffiliates

Resources

DocsInvite FriendsFAQ

Legal

Terms of ServicePrivacy Policygeneral@lex-books.com(215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Linear Logic in Computer ScienceLinear Logic in Computer Science

Linear Logic in Computer Science

Philip Scott, Jean-Yves Girard

About this book

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

Details

OL Work ID
OL19812712W

Subjects

MathematicsSymbolic and mathematical LogicProof theoryComputer scienceComputer science, mathematicsData processing

Find this book

Open Library
Book data from Open Library. Cover images courtesy of Open Library.