Paper
A calculus of open modules: call-by-need strategy and confluence†
-
- Published online by Cambridge University Press:
- 01 August 2007, pp. 675-751
-
- Article
- Export citation
Truth, modality and intersubjectivity
-
- Published online by Cambridge University Press:
- 01 December 2007, pp. 1153-1167
-
- Article
- Export citation
An algebraic semantics of event-based architectures
-
- Published online by Cambridge University Press:
- 01 October 2007, pp. 1029-1073
-
- Article
- Export citation
A duality between proof systems for cyclic term graphs
-
- Published online by Cambridge University Press:
- 01 June 2007, pp. 439-484
-
- Article
- Export citation
Natural deduction via graphs: formal definition and computation rules
-
- Published online by Cambridge University Press:
- 01 June 2007, pp. 485-526
-
- Article
- Export citation
Behavioural reasoning for conditional equations†
-
- Published online by Cambridge University Press:
- 01 October 2007, pp. 1075-1113
-
- Article
- Export citation
RealLib: An efficient implementation of exact real arithmetic
-
- Published online by Cambridge University Press:
- 01 February 2007, pp. 81-98
-
- Article
- Export citation
Dynamical systems: stability and simulability
-
- Published online by Cambridge University Press:
- 01 April 2007, pp. 247-259
-
- Article
- Export citation
On the size complexity of universal accepting hybrid networks of evolutionary processors
-
- Published online by Cambridge University Press:
- 01 August 2007, pp. 753-771
-
- Article
- Export citation
Decoherence in quantum walks – a review
-
- Published online by Cambridge University Press:
- 01 December 2007, pp. 1169-1220
-
- Article
-
- You have access
- Export citation
Restriction categories III: colimits, partial limits and extensivity
-
- Published online by Cambridge University Press:
- 01 August 2007, pp. 775-817
-
- Article
- Export citation
Discrete-time and continuous-time modelling: some bridges and gaps
-
- Published online by Cambridge University Press:
- 01 April 2007, pp. 261-276
-
- Article
- Export citation
Implementing the cylindrical algebraic decomposition within the Coq system
-
- Published online by Cambridge University Press:
- 01 February 2007, pp. 99-127
-
- Article
- Export citation
Complexity of chaos and quantum computation
-
- Published online by Cambridge University Press:
- 01 December 2007, pp. 1221-1263
-
- Article
- Export citation
A denotational semantics for the symmetric interaction combinators
-
- Published online by Cambridge University Press:
- 01 June 2007, pp. 527-562
-
- Article
- Export citation
A monadic, functional implementation of real numbers
-
- Published online by Cambridge University Press:
- 01 February 2007, pp. 129-159
-
- Article
- Export citation
A projective formalism applied to topological and probabilistic event structures
-
- Published online by Cambridge University Press:
- 01 August 2007, pp. 819-837
-
- Article
- Export citation
On the status of perturbation theory
-
- Published online by Cambridge University Press:
- 01 April 2007, pp. 277-288
-
- Article
- Export citation
Randomised algorithms for isomorphisms of simple types
-
- Published online by Cambridge University Press:
- 01 June 2007, pp. 565-584
-
- Article
- Export citation
Two preservation results for countable products of sequential spaces
-
- Published online by Cambridge University Press:
- 01 February 2007, pp. 161-172
-
- Article
- Export citation