Linear logic in computer science
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...
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Cambridge
Cambridge University Press
2004
|
| Series: | London Mathematical Society lecture note series
|
| Subjects: | |
| Online Access: | |
| Collection: | Cambridge Books Online - Collection details see MPG.ReNa |
Table of Contents:
- Category theory for linear logicians / R. Blute and Ph. Scott
- Proof nets and the [lambda]-calculus / S. Guerrini
- An overview of linear logic programming / D. Miller
- Linearity and nonlinearity in distributed computation / G. Winskel
- An axiomatic approach to structural rules for locative linear logic / J.-M. Andreoli
- An introduction to uniformity in Ludics / C. Faggian, M.-R. Fleury-Donnadieu and M. Quatrini
- Slicing polarized additive normalization / O. Laurent, L. Tortora de Falco
- A topological correctness criterion for multiplicative non-commutative logic / P.-A. Melliès
- Bicategories in algebra and linguistics / J. Lambek
- Between logic and quantic : a tract / J.-Y. Girard