typed lambda calculus
Sign in to savetyped formalism that uses the lambda-symbol (λ) to denote anonymous function abstraction
Wikidata facts
- Subclass of
- lambda calculus
Show 1 more fact
- uses
- type system
Sources (3)
via Wikidata · CC0
typed formalism that uses the lambda-symbol (λ) to denote anonymous function abstraction
via Wikidata · CC0