Je was op zoek naar: programeertalen (Nederlands - Engels)

combinatorische logica is de basis voor een bepaalde stijl van functionele programeertalen en de kracht van combinatorische logica is vergelijkbaar met de lambdacalculus van alonzo church.
the power and scope of combinatory logic is quite similar to that of the lambda calculus of alonzo church, and the latter formalism has tended to predominate in recent decades.

dit maakt het duidelijker voor de lezer om te begrijpen wat een programma werkelijk doet, en kan relatief eenvoudig omgezet worden naar een echte programeertaal.
this then can be converted relatively easy to a real programming language.