We a good story
Quick delivery in the UK

Linear Logic in Computer Science

About Linear Logic in Computer Science

The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear logic, as well as advanced contributions on recent trends. It is an excellent introduction to research topics in the area.

Show more
  • Language:
  • English
  • ISBN:
  • 9780521608572
  • Binding:
  • Paperback
  • Pages:
  • 392
  • Published:
  • November 14, 2004
  • Dimensions:
  • 153x228x23 mm.
  • Weight:
  • 520 g.
Delivery: 1-2 weeks
Expected delivery: December 5, 2024

Description of Linear Logic in Computer Science

The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear logic, as well as advanced contributions on recent trends. It is an excellent introduction to research topics in the area.

User ratings of Linear Logic in Computer Science



Find similar books
The book Linear Logic in Computer Science can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.