Loading…
lambda calculus
formal system in mathematical logic
Details
- Instance of
- mathematical model
- Subclass of
- formal system
- Part of
- theory of computation
- discoverer or inventor
- Alonzo Church
- has characteristic
- Turing completeness
- has use
- model of computation
- named after
- Λ
- topic's main category
- Category:Lambda calculus
Connected on Wikidata
Notable work of
Nothing in the MetaHistoryBook collection references this item yet.