31 results
Transcendental syntax I: deterministic case
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 5 / June 2017
- Published online by Cambridge University Press:
- 20 July 2015, pp. 827-849
-
- Article
- Export citation
High-angular resolution observations of the Pistol star
-
- Journal:
- Proceedings of the International Astronomical Union / Volume 6 / Issue S272 / July 2010
- Published online by Cambridge University Press:
- 12 July 2011, pp. 616-617
- Print publication:
- July 2010
-
- Article
-
- You have access
- Export citation
Estimating Attributable Mortality Due to Nosocomial Infections Acquired in Intensive Care Units
-
- Journal:
- Infection Control & Hospital Epidemiology / Volume 31 / Issue 4 / April 2010
- Published online by Cambridge University Press:
- 02 January 2015, pp. 388-394
- Print publication:
- April 2010
-
- Article
- Export citation
A new constructive logic: classic logic
-
- Journal:
- Mathematical Structures in Computer Science / Volume 1 / Issue 3 / November 1991
- Published online by Cambridge University Press:
- 04 March 2009, pp. 255-296
-
- Article
- Export citation
Truth, modality and intersubjectivity
-
- Journal:
- Mathematical Structures in Computer Science / Volume 17 / Issue 6 / December 2007
- Published online by Cambridge University Press:
- 01 December 2007, pp. 1153-1167
-
- Article
- Export citation
Geometry of interaction IV: the feedback equation
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 76-117
-
- Chapter
- 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
10 - Between Logic and Quantic: a Tract
-
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp 346-381
-
- Chapter
- Export citation
From Foundations to Ludics
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 2 / June 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 131-168
- Print publication:
- June 2003
-
- Article
- Export citation
Locus Solum: From the rules of logic to the logic of rules
-
- Journal:
- Mathematical Structures in Computer Science / Volume 11 / Issue 3 / June 2001
- Published online by Cambridge University Press:
- 05 July 2001, pp. 301-506
-
- 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