Voice and photo translation, offline features, synonyms, conjugation, learning games
Advertising
Register for free: access more results and features
lambda-calculus
Translation of "lambda-calculus" in Russian
лямбда-исчислением
The theory of recursive functions offers along with a Turing machine, a lambda-calculus and others theoretical a formalism equivalent to them algorithmic computable.
Теория рекурсивных функций предлагает наряду с машиной Тьюринга, лямбда-исчислением и другими теоретическими формализмами эквивалентный им формализм алгоритмической вычислимости.
Pattern Calculus: Computing with Functions and Structures tries to describes dependencies between pattern calculus, lambda-calculus, programming languages, etc.
Pattern Calculus: Computing with Functions and Structures описывает связь pattern calculus с лямбда-исчислением, языками программирования и т.п.
The The Implementation of Functional Programming Languages book, written by Simon Peyton Jones in 1987, describes such topics, as lambda-calculus, types infer&checking, pattern matching, etc., and how these things could be used to implement functional programming languages
Книга The Implementation of Functional Programming Languages, написанная Simon Peyton Jones и изданная в 1987 году, описывает такие темы, как лямбда-исчисление, вывод и проверка типов, сопоставление с образцом (pattern-matching), и использование этих приемов при реализации функциональных языков программирования.
Lambda-calculus, Combinators and Functional Programming provides and introduction into lambda calculus and combinators.
Lambda-calculus, Combinators and Functional Programming является введением в лямбда-исчисление и комбинаторы.
The Lambda-Calculus and Combinators: An Introduction books provides introduction to theoretical foundations of lambda-calculus
Книга Lambda-Calculus and Combinators: An Introduction посвящена изложению теоретических основ лямбда-исчисления
The theory of recursive functions along with algebra of lists and a lambda-calculus is one more support upon which is based Lisp.
Теория рекурсивных функций наряду с алгеброй списков и лямбда-исчислением является ещё одной опорой, на которой покоится Лисп.
Synonyms and analogies of "lambda-calculus" in English
Word & Expression of the day
Image of the day
Suggestions that contain lambda-calculus
Results: 6. Exact: 6. Elapsed time: 15 ms.
