An edition of Linear Logic in Computer Science (2004)

Linear Logic in Computer Science

by Jean-Yves Girard and Philip Scott

Thomas Ehrhard, Jean-Yves Gira ...

Not in Library

My Reading Lists:

Use this Work

Check nearby libraries

Buy this book

Last edited by ImportBot

October 4, 2021 | History

Edit

An edition of Linear Logic in Computer Science (2004)

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

Publish Date

2010

Publisher

Cambridge University Press

Language

English

Check nearby libraries

Buy this book

Previews available in: English

Showing 3 featured editions. View all 3 editions?

Edition	Availability
1 Linear Logic in Computer Science 2011, Cambridge University Press in English 0511894325 9780511894329	zzzz Not in Library Libraries near you: WorldCat
2 Linear Logic in Computer Science 2010, Cambridge University Press in English 0511550855 9780511550850	aaaa Not in Library Libraries near you: WorldCat
3 Linear logic in computer science 2004, Cambridge University Press in English 0521608570 9780521608572	zzzz Not in Library Libraries near you: WorldCat