ENGLISH

Linear logic in computer science

By Jean-Yves Girard , Thomas Ehrhard , Paul Ruet , Philip Scott

Book information

Publisher
CUP
Year
2004
ISBN
9780521608572, 0521608570
LCC
QA9.54 .L56 2004
Language
english
Format
DJVU
Filesize
2 MB (2390823 bytes)
Series
London Mathematical Society Lecture Note Series 316
Pages
392\392
Library
Kolxo3
DPI
300
Scanned
yes
Time added
2010-07-29 05:14:56

Similar books