Rachunek lambda z typami
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
Article · Polski
Rachunek lambda z typami to postać rachunku lambda rozszerzona o typy i z ograniczeniami,jakie wyrażenia są dozwolone, zależnie od ich typów. Najprostszym takim rachunkiem jest .
Abstract from DBpedia / Wikipedia · CC BY-SA