User: Dari mana asal lambda dalam kalkulus lambda?
Assistant: Ini dinamai lambda huruf Yunani. Kalkulus lambda adalah sistem formal untuk menentukan fungsi dan predikat, yang merupakan bahasa matematika yang dapat digunakan untuk mendeskripsikan komputasi.
