Paper
The undecidability theorem for the Horn-like fragment of linear logic (Revisited)
-
- Published online by Cambridge University Press:
- 03 May 2016, pp. 719-744
-
- Article
- Export citation
Introduction
Selected papers from Dependently Typed Programming 2010 – Overview
-
- Published online by Cambridge University Press:
- 27 November 2014, pp. 1-2
-
- Article
- Export citation
Editorial Preface
Preface to special issue: EXPRESS 2010
-
- Published online by Cambridge University Press:
- 10 November 2014, p. 907
-
- Article
-
- You have access
- Export citation
Preface to special issue: behavioural types
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 365-366
-
- Article
-
- You have access
- Export citation
Paper
Characterizing co-NL by a group action
-
- Published online by Cambridge University Press:
- 05 December 2014, pp. 606-638
-
- Article
- Export citation
Editorial Preface
Preface to special issue: EXPRESS 2011
-
- Published online by Cambridge University Press:
- 12 December 2014, p. 1351
-
- Article
-
- You have access
- Export citation
Paper
On quantum lambda calculi: a foundational perspective
-
- Published online by Cambridge University Press:
- 17 November 2014, pp. 1107-1195
-
- Article
- Export citation
Editorial Preface
Preface to special issue: behavioural types
-
- Published online by Cambridge University Press:
- 17 November 2014, pp. 154-155
-
- Article
-
- You have access
- Export citation
Paper
Information flow safety in multiparty sessions†
-
- Published online by Cambridge University Press:
- 02 January 2015, pp. 1352-1394
-
- Article
- Export citation
Encoding hybridized institutions into first-order logic
-
- Published online by Cambridge University Press:
- 12 November 2014, pp. 745-788
-
- Article
- Export citation
Compositional methods for information-hiding†
-
- Published online by Cambridge University Press:
- 24 November 2014, pp. 908-932
-
- Article
- Export citation
Global escape in multiparty sessions†
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 156-205
-
- Article
- Export citation
Formalization of real analysis: a survey of proof assistants and libraries†
-
- Published online by Cambridge University Press:
- 02 January 2015, pp. 1196-1233
-
- Article
- Export citation
Full abstraction for expressiveness: history, myths and facts†
-
- Published online by Cambridge University Press:
- 13 November 2014, pp. 639-654
-
- Article
- Export citation
Linear logic propositions as session types
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 367-423
-
- Article
- Export citation
Modules over relative monads for syntax and semantics
-
- Published online by Cambridge University Press:
- 05 December 2014, pp. 3-37
-
- Article
- Export citation
Proof nets and semi-star-autonomous categories
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 789-828
-
- Article
- Export citation
Partiality and recursion in interactive theorem provers – an overview
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 38-88
-
- Article
- Export citation
Linearity, session types and the Pi calculus
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 206-237
-
- Article
- Export citation
Fair subtyping for multi-party session types
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 424-464
-
- Article
- Export citation