Linear logic in computer science
- Cambridge: Cambridge University Press, 2004
- x, 381 p.; ill.: 23 cm.
- London Mathematical Society lecture note series .
0521608570 (pbk)
Logic, Symbolic and mathematical Computer science Computer science -- Mathematics Linear logic Proof theory