Yuqorida ko'rib turganingiz Lambda calculus, to'liqligicha matematik funksiyalarga asoslangan hisoblash modeli (computational model). Alonzo Church tomonidan ishlab chiqilgan va Turing Machinega to'liq alternativ bo'la olishi matematik tomondan isbotlangan.

E'tibor bergan bo'lsangiz, bu modelda hamma narsa matematik funksiya sifatida emplement qilinadi. Hatto valuelar ham abstrakt obyekt emas, funksiya. Hatto control flow (ya'ni if-else, loop, rekursiya va hokazolar) ham funksiyalar yordamida ishlab chiqilgan. Lambda calculus biz biladigan zamonaviy functional programmingning asosi hisoblanadi.

P.S. Kod sifatida e'tibor bermaymiz, Pythonda bu narsani boricha ko'rsatish juda qiyin (aniqrog'i, men o'xshatolmadim).