1. Knowra
  2. Lambda calculus
  3. Linked from

Linked from

The 23 pages that link to Lambda calculus, each with the reason it gives.

All 23Broader topic 2Related 11Narrower topic 4Compared with 6
  • Alonzo ChurchBroader topic: Church developed it as a foundation for defining functions and formalizing computation.

  • Model of computationBroader topic: It represents computation through function evaluation rather than machine instructions.

Machine generatedConnect to another ideaRandom page