Book contents
- Frontmatter
- Contents
- Preface
- List of contributors
- Part one Tutorials
- Part two Refereed Articles
- 5 An Axiomatic Approach to Structural Rules for Locative Linear Logic
- 6 An Introduction to Uniformity in Ludics
- 7 Slicing Polarized Additive Normalization
- 8 A Topological Correctness Criterion for Multiplicative Non-Commutative Logic
- Part three Invited Articles
6 - An Introduction to Uniformity in Ludics
Published online by Cambridge University Press: 17 May 2010
- Frontmatter
- Contents
- Preface
- List of contributors
- Part one Tutorials
- Part two Refereed Articles
- 5 An Axiomatic Approach to Structural Rules for Locative Linear Logic
- 6 An Introduction to Uniformity in Ludics
- 7 Slicing Polarized Additive Normalization
- 8 A Topological Correctness Criterion for Multiplicative Non-Commutative Logic
- Part three Invited Articles
Summary
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Abook%3A9780511550850/resource/name/firstPage-9780511550850c6_p236-246_CBO.jpg)
- Type
- Chapter
- Information
- Linear Logic in Computer Science , pp. 236 - 246Publisher: Cambridge University PressPrint publication year: 2004