ฉันกำลังอ่าน " แลมบ์ดาแคลคูลัสและเครื่องผสม " โดย Hindley และ Seldin ฉันไม่ใช่ผู้เชี่ยวชาญ แต่ได้สนใจแคลคูลัสแลมบ์ดาเสมอเนื่องจากการมีส่วนร่วมกับการเขียนโปรแกรมการทำงาน (เริ่มจาก Lisp และ SICP และตอนนี้กับ R และ Haskell)
ใน " ไบนารีแลมบ์ดาแคลคูลัสและ Combinatory Logic" , John Trompกล่าวว่า:
CL อาจถูกมองว่าเป็นส่วนย่อยของแคลคูลัสแลมบ์ดา ... ทฤษฎีส่วนใหญ่เหมือนกันกลายเป็นสิ่งที่เท่าเทียมกันเมื่อมีกฎการขยาย
ภายใต้เงื่อนไขว่าใครจะใช้ตรรกะ combinatoryแทนแลมบ์ดาแคลคูลัส ?
การอ้างอิงใด ๆ จะได้รับการชื่นชม