Science & Mathematics
Linear Logic in Computer Science
Publisher: Unknown PublisherI'm the publisher
- Exclusive ContentScan the cover in the app
- CommunityDiscuss & Share
About this book
This book illustrates linear logic in the application of proof theory to computer science.
Reader reviews
No reviews yet. Share your thoughts on this book in the Appilog app.
Book Details
- ISBN
- 9780521608572
- Author
- Jean-Yves Girard
- Publisher
- Unknown Publisher
- Genres
- Science & Mathematics
About the author
Jean-Yves GirardView profileMedia & Extras
This book has 0 videos that play on its cover. Scan the cover with the Appilog app to watch.
Get the app
