Lambda calculus > Related Articles
From Citizendium, the Citizens' Compendium
- See also pages that link to Lambda calculus or to this page.
Parent topics
Related topics
- Halting problem [r]: The task to decide whether a certain computer (executing a certain program) will eventually stop. [e]

