5571 results in Programming Languages and Applied Logic
Advances in Linear Logic
-
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995
A category arising in linear logic, complexity theory and set theory
-
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp 61-82
-
- Chapter
- Export citation
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
Hypercoherences: a strongly stable model of linear logic
-
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp 83-108
-
- Chapter
- Export citation
Proof-nets and the Hilbert space
-
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp 307-328
-
- Chapter
- Export citation
Sequent calculi for second order logic
-
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp 211-224
-
- Chapter
- Export citation
On the fine structure of the exponential rule
-
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp 197-210
-
- Chapter
- Export citation
Geometry of interaction III: accommodating the additives
-
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp 329-389
-
- 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
2 - Preliminaries
-
- Book:
- The Logical Status of Diagrams
- Published online:
- 24 November 2009
- Print publication:
- 27 January 1995, pp 11-40
-
- Chapter
- Export citation
5 - Venn-II and ℒ0
-
- Book:
- The Logical Status of Diagrams
- Published online:
- 24 November 2009
- Print publication:
- 27 January 1995, pp 141-152
-
- Chapter
- Export citation
4 - Venn-II
-
- Book:
- The Logical Status of Diagrams
- Published online:
- 24 November 2009
- Print publication:
- 27 January 1995, pp 111-140
-
- Chapter
- Export citation
References
-
- Book:
- The Logical Status of Diagrams
- Published online:
- 24 November 2009
- Print publication:
- 27 January 1995, pp 193-194
-
- Chapter
- Export citation
3 - Venn-I
-
- Book:
- The Logical Status of Diagrams
- Published online:
- 24 November 2009
- Print publication:
- 27 January 1995, pp 41-110
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- The Logical Status of Diagrams
- Published online:
- 24 November 2009
- Print publication:
- 27 January 1995, pp xi-xii
-
- Chapter
- Export citation