Pengurangan Gereja
Pengurangan Gereja Kalkulus Lambda selalu menjadi daya tarik saya dan perilaku yang muncul dari fungsi saling melintas sangat menyenangkan. Angka Gereja adalah representasi dari bilangan asli yang dibangun dari penerapan fungsi berulang (biasanya penambahan konstanta unary). Sebagai contoh, angka...