Author(s): Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott
Series: London Mathematical Society Lecture Note Series 316
Publisher: CUP
Year: 2004
Language: English
Pages: 392
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
