Lambda calculus/Related Articles
Jump to navigation
Jump to search
[{subpages}}
Parent topics
Related topics
- Halting problem [r]: The task to decide whether a certain computer (executing a certain program) will eventually stop. [e]