Typed lambda calculus
- Wikidata
- https://www.wikidata.org/wiki/Q2607208
- OpenAlex ID
- https://openalex.org/C142156749 (API record)
- OpenAlex Description
- typed formalism that uses the lambda-symbol (λ) to denote anonymous function abstraction
- OpenAlex Level [?]
- 3
Broader Concepts
Narrower Concepts
Associated Authors
Add Incoming Edge
Login via ORCiD to contribute.
Add Outgoing Edge
Login via ORCiD to contribute.