Lambda calculus/Related Articles: Difference between revisions
Jump to navigation
Jump to search
imported>Christopher J. Reiss (New page: Halting_problem) |
No edit summary |
||
| (4 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
{{subpages}} | |||
==Parent topics== | |||
{{r|Alonzo Church}} | |||
==Related topics== | |||
{{r|Halting problem}} | |||
==Articles related by keyphrases (Bot populated)== | |||
{{r|War crime}} | |||
{{r|University of Manchester}} | |||
{{r|Logic}} | |||
{{r|Commercial-off-the-shelf}} | |||
Latest revision as of 16:00, 9 September 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]
- War crime [r]: Acts that violate the laws of war as they applied in the time and place of commission, or that were deemed violations of law, possibly ex post facto, as determined by a competent tribunal [e]
- University of Manchester [r]: Largest single higher education institution in the United Kingdom. [e]
- Logic [r]: The study of the standards and practices of correct argumentation. [e]
- Commercial-off-the-shelf [r]: Parts and equipment that can be built into a system without being custom-built to meet specifications. [e]