Lambda calculus/Related Articles: Difference between revisions
Jump to navigation
Jump to search
imported>Howard C. Berkowitz No edit summary |
imported>Howard C. Berkowitz No edit summary |
||
| Line 1: | Line 1: | ||
{{subpages}} | |||
==Parent topics== | ==Parent topics== | ||
{{r|Alonzo Church}} | {{r|Alonzo Church}} | ||
==Related topics== | ==Related topics== | ||
{{r|Halting problem}} | {{r|Halting problem}} | ||
Revision as of 12:19, 1 February 2009
- 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]