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
- Type
- Chapter
- Information
- Linear Logic in Computer Science , pp. 236 - 246Publisher: Cambridge University PressPrint publication year: 2004