London Mathematical Society Lecture Note Series: Series Number 316: Linear
92,91 €
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 connectives, and the concepts of polarity and focalisation.
Jetzt bei Ebay:
