Paper
Social processes, program verification and all that
-
- Published online by Cambridge University Press:
- 07 September 2009, pp. 877-896
-
- Article
- Export citation
Effective λ-models versus recursively enumerable λ-theories
-
- Published online by Cambridge University Press:
- 04 September 2009, pp. 897-942
-
- Article
- Export citation
The sequential topology on
is not regular
-
- Published online by Cambridge University Press:
- 08 September 2009, pp. 943-957
-
- Article
- Export citation
Algebra and logic for resource-based systems modelling
-
- Published online by Cambridge University Press:
- 04 September 2009, pp. 959-1027
-
- Article
- Export citation
The algebraic lambda calculus
-
- Published online by Cambridge University Press:
- 24 August 2009, pp. 1029-1059
-
- Article
- Export citation
Front Cover (OFC, IFC) and matter
MSC volume 19 issue 5 Cover and Front matter
-
- Published online by Cambridge University Press:
- 18 September 2009, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back Cover (IBC, OBC) and matter
MSC volume 19 issue 5 Cover and Back matter
-
- Published online by Cambridge University Press:
- 18 September 2009, pp. b1-b10
-
- Article
-
- You have access
- Export citation