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
Observational trees as models for concurrency
-
- Published online by Cambridge University Press:
- 01 December 1999, pp. 687-718
-
- 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