15 results
Coherent differentiation
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 4-5 / April 2023
- Published online by Cambridge University Press:
- 28 April 2023, pp. 259-310
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
An introduction to differential linear logic: proof-nets, models and antiderivatives
-
- Journal:
- Mathematical Structures in Computer Science / Volume 28 / Issue 7 / August 2018
- Published online by Cambridge University Press:
- 09 February 2017, pp. 995-1060
-
- Article
- Export citation
Hypercoherences: a strongly stable model of linear logic
-
- Journal:
- Mathematical Structures in Computer Science / Volume 3 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 04 March 2009, pp. 365-385
-
- Article
- Export citation
Finiteness spaces
-
- Journal:
- Mathematical Structures in Computer Science / Volume 15 / Issue 4 / August 2005
- Published online by Cambridge University Press:
- 15 July 2005, pp. 615-646
-
- Article
- Export citation
Part two - Refereed Articles
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp 189-190
-
- Chapter
- Export citation
List of contributors
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp ix-x
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp i-iv
-
- Chapter
- Export citation
Part three - Invited Articles
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp 323-324
-
- Chapter
- Export citation
Part one - Tutorials
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp 1-2
-
- Chapter
- Export citation
Linear Logic in Computer Science
-
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004
Contents
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp v-vi
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp vii-viii
-
- Chapter
- Export citation
A completeness theorem for symmetric product phase spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 340-370
- Print publication:
- June 2004
-
- Article
- Export citation
On Köthe sequence spaces and linear logic
-
- Journal:
- Mathematical Structures in Computer Science / Volume 12 / Issue 5 / October 2002
- Published online by Cambridge University Press:
- 21 October 2002, pp. 579-623
-
- Article
- Export citation
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