Linear Logic in Computer Science

by ,

1.6 hrs read
Rate this book:
393 pages 2010

About This Book

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

Buy This Book

As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.

Write a Review

Sign in to write a review.