Linear logic in computer science 9780521608572, 0521608570
348 20 2MB
English Pages 392 Year 2004
Table of contents :
Title ......Page 3
Copyright ......Page 4
Contents ......Page 5
Preface ......Page 7
List of contributors ......Page 9
Part one: Tutorials ......Page 11
1 Category Theory for Linear Logicians R. Blute and Ph. Scott ......Page 13
2 Proof Nets and the A-Calculus S. Guerrini ......Page 75
3 An Overview of Linear Logic Programming D. Miller ......Page 129
4 Linearity and Nonlinearity in Distributed Computation G. Winskel ......Page 161
Part two: Refereed Articles ......Page 199
5 An Axiomatic Approach to Structural Rules for Locative Linear Logic J.-M. Andreoli ......Page 201
6 An Introduction to Uniformity in Ludics C. Faggian, M.-R. Fleury-Donnadieu and M. Quatrini ......Page 246
7 Slicing Polarized Additive Normalization 0. Laurent, L. Tortora de Falco ......Page 257
8 A Topological Correctness Criterion for Multiplicative Non-Commutative Logic P.-A. Mellies ......Page 293
Part three: Invited Articles ......Page 333
9 Bicategories in Algebra and Linguistics J. Lambek ......Page 335
10 Between Logic and Quantic: a Tract J.-Y. Girard ......Page 356
Title ......Page 3
Copyright ......Page 4
Contents ......Page 5
Preface ......Page 7
List of contributors ......Page 9
Part one: Tutorials ......Page 11
1 Category Theory for Linear Logicians R. Blute and Ph. Scott ......Page 13
2 Proof Nets and the A-Calculus S. Guerrini ......Page 75
3 An Overview of Linear Logic Programming D. Miller ......Page 129
4 Linearity and Nonlinearity in Distributed Computation G. Winskel ......Page 161
Part two: Refereed Articles ......Page 199
5 An Axiomatic Approach to Structural Rules for Locative Linear Logic J.-M. Andreoli ......Page 201
6 An Introduction to Uniformity in Ludics C. Faggian, M.-R. Fleury-Donnadieu and M. Quatrini ......Page 246
7 Slicing Polarized Additive Normalization 0. Laurent, L. Tortora de Falco ......Page 257
8 A Topological Correctness Criterion for Multiplicative Non-Commutative Logic P.-A. Mellies ......Page 293
Part three: Invited Articles ......Page 333
9 Bicategories in Algebra and Linguistics J. Lambek ......Page 335
10 Between Logic and Quantic: a Tract J.-Y. Girard ......Page 356
- Author / Uploaded
- Thomas Ehrhard
- Jean-Yves Girard
- Paul Ruet
- Philip Scott
- Similar Topics
- Computers
- Lectures, monographs
![Logic in computer science: modelling and reasoning about systems [2nd ed]
052154310X, 9780521543101](https://ebin.pub/img/200x200/logic-in-computer-science-modelling-and-reasoning-about-systems-2nd-ed-052154310x-9780521543101.jpg)