Introduction
Introduction: computability of the physical
-
- Published online by Cambridge University Press:
- 06 September 2012, pp. 723-728
-
- Article
- Export citation
Paper
On quasi-interpretations, blind abstractions and implicit complexity†
-
- Published online by Cambridge University Press:
- 02 February 2012, pp. 549-580
-
- Article
- Export citation
Editorial Preface
Preface to the special issue: commutativity of algebraic diagrams
-
- Published online by Cambridge University Press:
- 30 October 2012, pp. 901-903
-
- Article
-
- You have access
- Export citation
Paper
Interpolation for predefined types
-
- Published online by Cambridge University Press:
- 31 August 2011, pp. 1-24
-
- Article
- Export citation
The small-community phenomenon in networks†
-
- Published online by Cambridge University Press:
- 06 March 2012, pp. 373-407
-
- Article
- Export citation
Editorial Preface
Preface to special issue: EXPRESS, ICE and SOS 2009
-
- Published online by Cambridge University Press:
- 28 February 2012, pp. 123-124
-
- Article
-
- You have access
- Export citation
Paper
A coding theoretic study of MLL proof nets
-
- Published online by Cambridge University Press:
- 02 February 2012, pp. 409-449
-
- Article
- Export citation
Shuffles and concatenations in the construction of graphs†
-
- Published online by Cambridge University Press:
- 30 October 2012, pp. 904-930
-
- Article
- Export citation
Renormalisation and computation II: time cut-off and the Halting Problem
-
- Published online by Cambridge University Press:
- 06 September 2012, pp. 729-751
-
- Article
- Export citation
Characteristic formulae for fixed-point semantics: a general framework
-
- Published online by Cambridge University Press:
- 28 February 2012, pp. 125-173
-
- Article
- Export citation
Lenses, fibrations and universal translations†
-
- Published online by Cambridge University Press:
- 19 September 2011, pp. 25-42
-
- Article
- Export citation
Extending modal transition systems with structured labels
-
- Published online by Cambridge University Press:
- 08 May 2012, pp. 581-617
-
- Article
- Export citation
What is a categorical model of the differential and the resource λ-calculi?
-
- Published online by Cambridge University Press:
- 27 February 2012, pp. 451-520
-
- Article
- Export citation
A quantum double construction in Rel†
-
- Published online by Cambridge University Press:
- 18 May 2012, pp. 618-650
-
- Article
- Export citation
Bisimulations for non-deterministic labelled Markov processes†
-
- Published online by Cambridge University Press:
- 26 September 2011, pp. 43-68
-
- Article
- Export citation
A statistical mechanical interpretation of algorithmic information theory III: composite systems and fixed points†
-
- Published online by Cambridge University Press:
- 06 September 2012, pp. 752-770
-
- Article
- Export citation
Coherence in monoidal track categories
-
- Published online by Cambridge University Press:
- 30 October 2012, pp. 931-969
-
- Article
- Export citation
Modal logic and the approximation induction principle
-
- Published online by Cambridge University Press:
- 28 February 2012, pp. 175-201
-
- Article
- Export citation
Algorithmic thermodynamics
-
- Published online by Cambridge University Press:
- 06 September 2012, pp. 771-787
-
- Article
- Export citation
Properties of co-operations: diagrammatic proofs
-
- Published online by Cambridge University Press:
- 30 October 2012, pp. 970-986
-
- Article
- Export citation