Research Article
Conditions for the completeness of functional and algebraic equational reasoning
-
- Published online by Cambridge University Press:
- 01 December 1999, pp. 651-685
-
- Article
- Export citation
Editorial
Foreword
-
- Published online by Cambridge University Press:
- 01 June 1999, pp. 225-226
-
- Article
-
- You have access
- Export citation
Research Article
Relating operational and denotational semantics for input/output effects
-
- Published online by Cambridge University Press:
- 01 April 1999, pp. 125-158
-
- Article
- Export citation
Editorial
Preface
-
- Published online by Cambridge University Press:
- 01 August 1999, p. 321
-
- Article
-
- You have access
- Export citation
Research Article
Semi-pullbacks and bisimulation in categories of Markov processes
-
- Published online by Cambridge University Press:
- 01 October 1999, pp. 523-543
-
- Article
- Export citation
Full abstraction, totality and PCF
-
- Published online by Cambridge University Press:
- 01 February 1999, pp. 1-20
-
- Article
- Export citation
Final coalgebras as greatest fixed points in ZF set theory
-
- Published online by Cambridge University Press:
- 01 October 1999, pp. 545-567
-
- Article
- Export citation
On categories generalizing universal domains
-
- Published online by Cambridge University Press:
- 01 April 1999, pp. 159-175
-
- Article
- Export citation
Proof-theoretic foundations for the design of actor systems
-
- Published online by Cambridge University Press:
- 01 June 1999, pp. 227-252
-
- Article
- Export citation
A new method for establishing conservativity of classical systems over their intuitionistic version
-
- Published online by Cambridge University Press:
- 01 August 1999, pp. 323-333
-
- Article
- Export citation
Observational trees as models for concurrency
-
- Published online by Cambridge University Press:
- 01 December 1999, pp. 687-718
-
- Article
- Export citation
Abstract and behaviour module specifications
-
- Published online by Cambridge University Press:
- 01 February 1999, pp. 21-62
-
- Article
- Export citation
Some logical and syntactical observations concerning the first-order dependent type system λP
-
- Published online by Cambridge University Press:
- 01 August 1999, pp. 335-359
-
- Article
- Export citation
Topical categories of domains
-
- Published online by Cambridge University Press:
- 01 October 1999, pp. 569-616
-
- Article
- Export citation
General synthetic domain theory – a logical approach
-
- Published online by Cambridge University Press:
- 01 April 1999, pp. 177-223
-
- Article
- Export citation
A general method for proving the normalization theorem for first and second order typed λ-calculi
-
- Published online by Cambridge University Press:
- 01 December 1999, pp. 719-739
-
- Article
- Export citation
A filter model for mobile processes
-
- Published online by Cambridge University Press:
- 01 February 1999, pp. 63-101
-
- Article
- Export citation
A specification logic for concurrent object-oriented programming
-
- Published online by Cambridge University Press:
- 01 June 1999, pp. 253-286
-
- Article
- Export citation
Order in open intervals of computable reals
-
- Published online by Cambridge University Press:
- 01 February 1999, pp. 103-108
-
- Article
- Export citation
On the existence of n but not n + 1 easy combinators
-
- Published online by Cambridge University Press:
- 01 August 1999, pp. 361-365
-
- Article
- Export citation