Research Article
Statistical properties of simple types
-
- Published online by Cambridge University Press:
- 10 November 2000, pp. 575-594
-
- Article
- Export citation
On the number of fixed points of a combinator in lambda calculus
-
- Published online by Cambridge University Press:
- 10 November 2000, pp. 595-615
-
- Article
- Export citation
Elementary structures in process theory (1): Sets with renaming
-
- Published online by Cambridge University Press:
- 10 November 2000, pp. 617-663
-
- Article
- Export citation