Lambda calculus/Related Articles: Difference between revisions
Jump to navigation
Jump to search
imported>Christopher J. Reiss (New page: Halting_problem) |
Pat Palmer (talk | contribs) mNo edit summary Tag: Manual revert |
||
(5 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{subpages}} | |||
==Parent topics== | |||
{{r|Alonzo Church}} | |||
==Related topics== | |||
{{r|Halting problem}} |
Latest revision as of 08:32, 29 November 2024
- See also changes related to Lambda calculus, or pages that link to Lambda calculus or to this page or whose text contains "Lambda calculus".
Parent topics
Related topics
- Halting problem [r]: The task to decide whether a certain computer (executing a certain program) will eventually stop. [e]