10 results
Foreword
-
- Journal:
- Mathematical Structures in Computer Science / Volume 8 / Issue 6 / December 1998
- Published online by Cambridge University Press:
- 01 December 1998, p. 541
-
- Article
- Export citation
Part I - Categories and semantics
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp -
-
- Chapter
- Export citation
Advances in Linear Logic
-
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995
Part II - Complexity and expressivity
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp -
-
- Chapter
- Export citation
Part IV - Proof nets
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp -
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp i-iv
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp vii-viii
-
- Chapter
- Export citation
Part III - Proof theory
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp -
-
- Chapter
- Export citation
Contents
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp v-vi
-
- Chapter
- Export citation
Part V - Geometry of interaction
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp -
-
- Chapter
- Export citation