Lambda calculus/Related Articles

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

• Alonzo Church [r]: Add brief definition or description

Related topics

• Halting problem [r]: The task to decide whether a certain computer (executing a certain program) will eventually stop. ^[e]

Articles related by keyphrases (Bot populated)

• 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]: Add brief definition or description