Rachunek lambda z typami
Sign in to savetyped formalism that uses the lambda-symbol (λ) to denote anonymous function abstraction
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