typed formalism that uses the lambda-symbol (λ) to denote anonymous function abstraction
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
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).