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