* [[!wikipedia B,C,K,W system]]
<!-- Jeroen Fokker, The Systematic Construction of a One-combinator Basis for Lambda-Terms. Formal Aspects of Computing 4 (1992), pp. 776-780
http://people.cs.uu.nl/jeroen/article/combinat/combinat.ps -->
* [[!wikipedia B,C,K,W system]]
<!-- Jeroen Fokker, The Systematic Construction of a One-combinator Basis for Lambda-Terms. Formal Aspects of Computing 4 (1992), pp. 776-780
http://people.cs.uu.nl/jeroen/article/combinat/combinat.ps -->