Paper
Theory and applications of term graph rewriting: introduction
-
- Published online by Cambridge University Press:
- 01 June 2007, pp. 361-362
-
- Article
- Export citation
Introduction
More developments in computational models: introduction
-
- Published online by Cambridge University Press:
- 01 August 2007, pp. 585-586
-
- Article
-
- You have access
- Export citation
Editorial Preface
Preface to the special issue: Constructive analysis, types and exact real numbers
-
- Published online by Cambridge University Press:
- 01 February 2007, p. 1
-
- Article
-
- You have access
- Export citation
Preface
-
- Published online by Cambridge University Press:
- 01 October 2007, p. 839
-
- Article
- Export citation
Introduction
3-body, classical–quantum, discrete–continuous
-
- Published online by Cambridge University Press:
- 01 April 2007, pp. 173-175
-
- Article
- Export citation
Paper
Quantum computation and quantum information
-
- Published online by Cambridge University Press:
- 01 December 2007, p. 1115
-
- Article
- Export citation
Entanglement and Hilbert space geometry for systems with a few qubits
-
- Published online by Cambridge University Press:
- 01 December 2007, pp. 1117-1132
-
- Article
- Export citation
On the ubiquity of certain total type structures
-
- Published online by Cambridge University Press:
- 01 October 2007, pp. 841-953
-
- Article
- Export citation
A rewriting calculus for cyclic higher-order term graphs
-
- Published online by Cambridge University Press:
- 01 June 2007, pp. 363-406
-
- Article
- Export citation
Discrete–continuous and classical–quantum
-
- Published online by Cambridge University Press:
- 01 April 2007, pp. 177-183
-
- Article
- Export citation
Boxed ambients with communication interfaces†
-
- Published online by Cambridge University Press:
- 01 August 2007, pp. 587-645
-
- Article
- Export citation
Constructive analysis, types and exact real numbers
-
- Published online by Cambridge University Press:
- 01 February 2007, pp. 3-36
-
- Article
- Export citation
On categorical models of classical logic and the Geometry of Interaction
-
- Published online by Cambridge University Press:
- 01 October 2007, pp. 957-1027
-
- Article
- Export citation
Unitary invariants of qubit systems
-
- Published online by Cambridge University Press:
- 01 December 2007, pp. 1133-1151
-
- Article
- Export citation
Affine functions and series with co-inductive real numbers
-
- Published online by Cambridge University Press:
- 01 February 2007, pp. 37-63
-
- Article
- Export citation
Graph rewriting for the π-calculus†
-
- Published online by Cambridge University Press:
- 01 June 2007, pp. 407-437
-
- Article
- Export citation
Coalgebraic description of generalised binary methods†
-
- Published online by Cambridge University Press:
- 01 August 2007, pp. 647-673
-
- Article
- Export citation
The discrete versus continuous controversy in physics
-
- Published online by Cambridge University Press:
- 01 April 2007, pp. 185-223
-
- Article
- Export citation
The driven three body Coulomb problem
-
- Published online by Cambridge University Press:
- 01 April 2007, pp. 225-246
-
- Article
- Export citation
Spatiality for formal topologies
-
- Published online by Cambridge University Press:
- 01 February 2007, pp. 65-80
-
- Article
- Export citation