Dalam makalah Diskriminasi istilah lambda yang dikodekan - Henk Barendregt suatu pengkodean dari istilah lambda M adalah istilah sedemikian rupa sehingga M (dan bagian-bagiannya) dapat direkonstruksi darinya dengan cara yang dapat didefinisikan dengan lambda. Pada dasarnya kita perlu bisa menulis penerjemah mandiri \ mathsf E :M E
Ada berbagai pengkodean seperti Kleene yang menggunakan bilangan alami dan pengkodean modern yang paling efisien adalah sintaks tingkat tinggi oleh Mogensen. Pengkodean (trivial) lain yang mungkin adalah fungsi identitas, kemudian penerjemah lagi fungsi identitas.
Apakah ada gagasan yang masuk akal tentang "pengkodean yang memadai" yang melarang pengkodean sepele?
Pertanyaan ini muncul ketika mempertimbangkan masalah penghentian diterapkan pada lambda kalkulus daripada mesin Turing: Jika dinyatakan dalam hal pengkodean sepele maka itu berlaku untuk alasan sepele bahwa pada dasarnya tidak ada yang bisa kita lakukan dengan istilah lambda yang dikutip.
Dengan kata lain: Apa seperangkat fungsi yang kita harapkan dapat dihitung berdasarkan ketentuan lambda yang dikutip?
Saya bisa daftar beberapa seperti: menghitung kedalaman istilah, mengambil subterms, mengatakan apakah simpul akar suatu istilah adalah lambda atau aplikasi, ... tapi saya akan ragu untuk mendefinisikan "pengkodean yang memadai" dengan hanya mendaftarkan berbagai fungsi yang terlintas dalam pikiran.