Paper
Tree-functors, determinacy and bisimulations
-
- Published online by Cambridge University Press:
- 04 February 2010, pp. 319-358
-
- Article
- Export citation
Introduction
Introduction to special issue: Physics and computer science – quantum computation and other approaches
-
- Published online by Cambridge University Press:
- 08 November 2010, pp. 995-997
-
- Article
- Export citation
Editorial Preface
Preface to Special Issue: Theory and Applications of Models of Computation (TAMC 2008–2009)
-
- Published online by Cambridge University Press:
- 27 October 2010, pp. 705-706
-
- Article
-
- You have access
- Export citation
Paper
Coherence for monoidal endofunctors†
-
- Published online by Cambridge University Press:
- 27 May 2010, pp. 523-543
-
- Article
- Export citation
Editorial Preface
Preface for the special issue on domains
-
- Published online by Cambridge University Press:
- 25 March 2010, pp. 105-106
-
- Article
-
- You have access
- Export citation
Preface to special issue: Expressiveness in Concurrency 2008
-
- Published online by Cambridge University Press:
- 26 February 2010, pp. 1-2
-
- Article
-
- You have access
- Export citation
Paper
Bitopological duality for distributive lattices and Heyting algebras
-
- Published online by Cambridge University Press:
- 18 January 2010, pp. 359-393
-
- Article
- Export citation
Channel abstractions for network security†
-
- Published online by Cambridge University Press:
- 26 February 2010, pp. 3-44
-
- Article
- Export citation
Spatial search on a honeycomb network
-
- Published online by Cambridge University Press:
- 08 November 2010, pp. 999-1009
-
- Article
- Export citation
Coherence for monoidal monads and comonads†
-
- Published online by Cambridge University Press:
- 27 May 2010, pp. 545-561
-
- Article
- Export citation
Domain representations of spaces of compact subsets
-
- Published online by Cambridge University Press:
- 25 March 2010, pp. 107-126
-
- Article
- Export citation
Quantitative aspects of speed-up and gap phenomena
-
- Published online by Cambridge University Press:
- 27 October 2010, pp. 707-722
-
- Article
- Export citation
A note on accelerated Turing machines
-
- Published online by Cambridge University Press:
- 08 November 2010, pp. 1011-1017
-
- Article
- Export citation
Selection functions, bar recursion and backward induction
-
- Published online by Cambridge University Press:
- 25 March 2010, pp. 127-168
-
- Article
- Export citation
Turing universality of the Biochemical Ground Form
-
- Published online by Cambridge University Press:
- 26 February 2010, pp. 45-73
-
- Article
- Export citation
On the operating unit size of load/store architectures†
-
- Published online by Cambridge University Press:
- 04 February 2010, pp. 395-417
-
- Article
- Export citation
Setoids and universes
-
- Published online by Cambridge University Press:
- 07 April 2010, pp. 563-576
-
- Article
- Export citation
Semantical proofs of correctness for programs performing non-deterministic tests on real numbers
-
- Published online by Cambridge University Press:
- 27 October 2010, pp. 723-751
-
- Article
- Export citation
Rewriting systems for the surface classification theorem
-
- Published online by Cambridge University Press:
- 27 May 2010, pp. 577-588
-
- Article
- Export citation
Iterative reflections of monads
-
- Published online by Cambridge University Press:
- 04 February 2010, pp. 419-452
-
- Article
- Export citation