Cover of Linear Logic in Computer Science

Book 2004

Linear Logic in Computer Science

Thomas Ehrhard Jean-Yves Girard Paul Ruet

Publisher: Cambridge University Press
Language: English
Published: 2004

Mathematics
Symbolic and mathematical Logic
Proof theory
Computer science
Computer science, mathematics
Data processing

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

More like this

Content-similar works, not other readers’ shelves.