Editorial Preface
Preface
-
- Published online by Cambridge University Press:
- 05 August 2015, pp. 92-93
-
- Article
-
- You have access
- Export citation
Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday
-
- Published online by Cambridge University Press:
- 20 July 2015, pp. 557-559
-
- Article
-
- You have access
- Export citation
Paper
Resource convertibility and ordered commutative monoids
-
- Published online by Cambridge University Press:
- 12 October 2015, pp. 850-938
-
- Article
-
- You have access
- Export citation
Generalizations of the distributed Deutsch–Jozsa promise problem
-
- Published online by Cambridge University Press:
- 06 May 2015, pp. 311-331
-
- Article
- Export citation
Editorial Preface
Preface
-
- Published online by Cambridge University Press:
- 16 June 2015, p. 459
-
- Article
-
- You have access
- Export citation
Foreword
Foreword: special issue on coalgebraic logic
-
- Published online by Cambridge University Press:
- 20 May 2016, pp. 1108-1110
-
- Article
-
- You have access
- Export citation
Paper
No-iteration mixed distributive laws
-
- Published online by Cambridge University Press:
- 20 February 2015, pp. 1-16
-
- Article
- Export citation
Editorial Preface
Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013
-
- Published online by Cambridge University Press:
- 09 June 2016, pp. 1285-1286
-
- Article
-
- You have access
- Export citation
Paper
Well-founded coalgebras, revisited
-
- Published online by Cambridge University Press:
- 09 February 2016, pp. 1111-1131
-
- Article
-
- You have access
- Export citation
The conservation theorem for differential nets
-
- Published online by Cambridge University Press:
- 29 October 2015, pp. 939-992
-
- Article
- Export citation
Type safe incremental rebinding
-
- Published online by Cambridge University Press:
- 15 May 2015, pp. 94-122
-
- Article
- Export citation
The approximation theorem for the Λμ-calculus
-
- Published online by Cambridge University Press:
- 28 July 2015, pp. 560-580
-
- Article
- Export citation
On computability and disintegration
-
- Published online by Cambridge University Press:
- 28 July 2016, pp. 1287-1314
-
- Article
- Export citation
A time-free uniform solution to subset sum problem by tissue P systems with cell division
-
- Published online by Cambridge University Press:
- 27 February 2015, pp. 17-32
-
- Article
- Export citation
On conditions for semirings to induce compact information algebras
-
- Published online by Cambridge University Press:
- 15 May 2015, pp. 460-469
-
- Article
- Export citation
A rewriting framework and logic for activities subject to regulations
-
- Published online by Cambridge University Press:
- 02 June 2015, pp. 332-375
-
- Article
- Export citation
Constructive forcing, CPS translations and witness extraction in Interactive realizability†
-
- Published online by Cambridge University Press:
- 29 October 2015, pp. 993-1031
-
- Article
- Export citation
Practical coinduction
-
- Published online by Cambridge University Press:
- 09 February 2016, pp. 1132-1152
-
- Article
-
- You have access
- Export citation
Many-one reductions and the category of multivalued functions
-
- Published online by Cambridge University Press:
- 03 July 2015, pp. 376-404
-
- Article
- Export citation
Computations with oracles that measure vanishing quantities
-
- Published online by Cambridge University Press:
- 23 June 2016, pp. 1315-1363
-
- Article
- Export citation