On the number of fixed points of a combinator in lambda calculus
Published online by Cambridge University Press: 10 November 2000
We consider the problem of determining the number of fixed points of a combinator (a closed λ-term). This appears to be a still unsolved problem. We give a partial answer by showing that if there is a fixed point in normal form, then this fixed point is unique or there are infinitely many fixed points.
- Research Article
- 2000 Cambridge University Press