Linear logic in computer science / edited by Thomas Ehrhard [and others].
Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connective...
| Uniform Title: | London Mathematical Society lecture note series ;
316. |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Language: | English |
| Published: |
Cambridge :
Cambridge University Press,
2004.
|
| Series: | London Mathematical Society lecture note series ;
316. |
| Subjects: | |
| Online Access: | |
| Physical Description: | 1 online resource (x, 381 pages) : digital, PDF file(s). |
| Format: | Electronic eBook |