Funktionerna byggs upp utifrån ett fåtal primitiva operationer, kombinatorer, tillsammans med operationen att applicera en funktion på ett argument. Härigenom erhålls bl.a. en formell analys av metoden att konstruera en funktion genom abstraktion (se lambdakalkyl) och av den substitutionsoperation som är förknippad med variabler. Man har inom denna ram