# One-combinator basis for lambda-terms

### Reference

Jeroen Fokker,
**The Systematic Construction of a One-combinator Basis for Lambda-Terms**.

*Formal Aspects of Computing* **4** (1992), pp. 776-780.
### Abstract

A single closed $\lambda$-expression that generates all
$\lambda$-expressions is constructed.
The derivation is carried out in a systematic way.
The resulting basis is simpler than bases
known in the literature.
### Article text

Article
### Other relevant links