Jeroen Fokker. The Systematic Construction of a One-Combinator Basis for Lambda-Terms. Formal Asp. Comput., 4(6A):776-780, 1992.
@article{Fokker92, title = {The Systematic Construction of a One-Combinator Basis for Lambda-Terms}, author = {Jeroen Fokker}, year = {1992}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/Fokker92}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {4}, number = {6A}, pages = {776-780}, }