Linear logic in computer science / edited by Thomas Ehrhard [and others].

Show other versions (2)

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...

Full description

Bibliographic Details
Uniform Title:London Mathematical Society lecture note series ; 316.
Corporate Author: London Mathematical Society (Issuing body)
Other Authors: Ehrhard, Thomas, 1958- (Editor)
Language:English
Published: Cambridge : Cambridge University Press, 2004.
Series:London Mathematical Society lecture note series ; 316.
Subjects:
Proof theory.
Computer science > Mathematics.
Online Access:
Connect to online resource - MSU authorized users (Digital Object Identifier Permalink)
Physical Description:1 online resource (x, 381 pages) : digital, PDF file(s).
Format: Electronic eBook
Search Result 1

Linear logic in computer science

Published: Cambridge University Press, 2004
EBSCO eBooks: 2004 (EBSCO)
eBook Academic Collection (EBSCOhost) – North America: 2004 (EBSCO)
Electronic eBook
Search Result 2

Linear logic in computer science

Published: Cambridge University Press, 2004
Physical Description: x, 381 pages : illustrations ; 23 cm.
Book
Show all versions (3)