You are here

Linear Logic In Computer Science

Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, and Philip Scott, editors
Publisher: 
Cambridge University Press
Publication Date: 
2004
Number of Pages: 
381
Format: 
Paperback
Series: 
London Mathematical Society Lecture Notes Series 316
Price: 
0.00
ISBN: 
0-521-60857-0
Category: 
Proceedings
We do not plan to review this book.
Preface page vii
List of contributors ix
Part one: Tutorials 1
1 Category Theory for Linear Logicians R. Blute and Ph. Scott 3
2 Proof Nets and the ?-Calculus S. Guerrini 65
3 An Overview of Linear Logic Programming D. Miller 119
4 Linearity and Nonlinearity in Distributed Computation G. Winskel
151
Part two: Refereed Articles 189
5 An Axiomatic Approach to Structural Rules for Locative Linear
Logic J.-M. Andreoli 191
6 An Introduction to Uniformity in Ludics C. Faggian, M.-R.
Fleury-Donnadieu and M. Quatrini 236
7 Slicing Polarized Additive Normalization O. Laurent, L. Tortora
de Falco 247
8 A Topological Correctness Criterion for Multiplicative Non-
Commutative Logic P.-A. Melli`es 283
Part three: Invited Articles 323
9 Bicategories in Algebra and Linguistics J . Lambek 325
10 Between Logic and Quantic: a Tract J.-Y. Girard 346