1 results
5 - An Axiomatic Approach to Structural Rules for Locative Linear Logic
-
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp 191-235
-
- Chapter
- Export citation