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 Lambda . Ini dengan pengakuannya sendiri ketika ia menerbitkan "Fungsi rekursif dari ekspresi simbolik dan perhitungannya dengan mesin, Bagian I" . Anda bisa membacanya di sini .
Sekarang kita tahu bahwa pada intinya Mathematica adalah sistem mirip Lisp , tetapi alih-alih didasarkan semata-mata pada Kalkulus Lambda, itu didasarkan pada sistem penulisan ulang istilah .
Di sini penulis menyatakan:
Mathematica pada dasarnya adalah sistem penulisan ulang istilah ... sebuah konsep yang lebih umum daripada Kalkulus Lambda di belakang Lisp.
Tampaknya Kalkulus Lambda adalah bagian kecil dari kategori yang jauh lebih umum. (Cukup membuka mata sebagai pemikiran ini lebih merupakan konsep dasar). Saya mencoba membaca lebih lanjut tentang ini untuk mendapatkan perspektif tentang itu.
Pertanyaan saya adalah: Bagaimana Lambda Calculus jenis sistem penulisan term tertentu?