Lectures on Linear Logic - Center for the Study of Language and Information Publication Lecture Notes - A. S. Troelstra - Books - Centre for the Study of Language & Infor - 9780937073773 - May 30, 1992
In case cover and title do not match, the title is correct

A. S. Troelstra
Lectures on Linear Logic - Center for the Study of Language and Information Publication Lecture Notes 2nd edition

Get an email once the item is available
Do you have a profile? Log in
Get notified about new A. S. Troelstra releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

215 pages, illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 30, 1992
ISBN13 9780937073773
Publishers Centre for the Study of Language & Infor
Pages 215
Dimensions 152 × 228 × 20 mm   ·   454 g   (Weight (estimated))

More by A. S. Troelstra

Show all

More from the same publisher

See all of A. S. Troelstra ( e.g. Paperback Book , Hardcover Book and Book )