3
Penjelasan sederhana mengapa fungsi komputasi tertentu tidak dapat diwakili oleh istilah yang diketik?
Membaca makalah Pengantar Kalkulus Lambda , saya menemukan sebuah paragraf yang tidak terlalu saya mengerti, di halaman 34 (huruf miring saya): Dalam masing-masing dari dua paradigma ada beberapa versi kalkulus lambda yang diketik. Dalam banyak sistem penting, terutama yang ala Gereja, istilah yang memiliki tipe selalu memiliki bentuk normal. Dengan …