Saya sedang berdiskusi dengan seorang teman baru-baru ini (yang merupakan penganjur bahasa yang sangat diketik). Dia membuat komentar: Para penemu Lambda Calculus selalu berniat untuk mengetik. Sekarang kita dapat melihat bahwa Gereja dikaitkan dengan yang Cukup Diketik Lambda Kalkulus ....
Dalam [1], Mitchell Wand menunjukkan bahwa menambahkan fexprs ke kalkulus lambda murni meremehkan teori kesetaraan kontekstual, yang berarti dua istilah setara secara kontekstual jika mereka -congruent. Ketika menjelajahi pekerjaan terkait, ia pergi "hasil kami memperluas pengamatan lama Albert...
Sekarang kita dapat melihat bahwa Gereja dikaitkan dengan yang Cukup Diketik Lambda Kalkulus . Memang, tampaknya ia menjelaskan Kalkulus Lambda Cukup Ketik untuk mengurangi kesalahpahaman tentang Kalkulus Lambda. Sekarang ketika John McCarthy menciptakan Lisp - ia mendasarkannya pada Kalkulus...