simply typed lambda calculus
Sign in to saveAlso known as STLC, λ→
formal system in mathematical logic
Wikidata facts
- Instance of
- typed lambda calculus
Show 1 more fact
- discoverer or inventor
- Alonzo Church
Sources (2)
via Wikidata · CC0
Also known as STLC, λ→
formal system in mathematical logic
via Wikidata · CC0