Lambda calculus/Related Articles: Difference between revisions
Jump to navigation
Jump to search
imported>Christopher J. Reiss No edit summary |
imported>Howard C. Berkowitz No edit summary |
||
| Line 1: | Line 1: | ||
[ | [{subpages}} | ||
==Parent topics== | |||
{{r|Alonzo Church}} | |||
==Related topics== | |||
{{r|Halting_problem}} | |||
Revision as of 13:19, 1 February 2009
[{subpages}}
Parent topics
Related topics
- Halting_problem [r]: The task to decide whether a certain computer (executing a certain program) will eventually stop. [e]