Get 2 top 10 audiobooks free with a LoveReading exclusive

LoveReading has teamed up with Audiobooks.com to give you the chance to get 2 free audiobooks when you sign up. Try it for 30 days for free with no strings attached. You can cancel anytime, although we're sure you'll love it. Click the button to find out more:

Find out more

Lectures on Linear Logic Synopsis

The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.

Book Information

ISBN: 9780937073773
Publication date: 30th June 1992
Author: A. S. Troelstra
Publisher: Centre for the Study of Language & Information
Format: Paperback / softback
Pagination: 215 pages
Categories: Mathematical logic,

About A. S. Troelstra

More About A. S. Troelstra

Share this book