Translation of "lambda calculus" into Polish

rachunek lambda is the translation of "lambda calculus" into Polish.

lambda calculus noun grammar

(computing theory) Any of a family of functionally complete algebraic systems in which lambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions. [..]

+ Add

English-Polish dictionary

  • rachunek lambda

    noun

    formal system in mathematical logic

    A fragment of Statman hierarchy in typed lambda calculus

    Fragment hierarchii Statmana w typowym rachunku lambda

  • inform. mat. rachunek lambda

  • Show algorithmically generated translations

Automatic translations of "lambda calculus" into Polish

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate

Phrases similar to "lambda calculus" with translations into Polish

Add

Translations of "lambda calculus" into Polish in sentences, translation memory