Get Download Linear Logic in Computer Science Online Book
ByThomas Ehrhard
Total Download
3
“A book is a device to ignite the imagination.” -Alan Bennett
Synopsis
This book illustrates linear logic in the application of proof theory to computer science.
No comments:
Post a Comment