High Quality Content by WIKIPEDIA articles! The rho-calculus is a formalism intended to combine the higher-order facilities of lambda calculus with the pattern matching of term rewriting. In mathematical logic and computer science, lambda calculus, also written as ?-calculus, is a formal system for function definition, function application and recursion. It was introduced by Alonzo Church in the 1930s as part of an investigation into the foundations of mathematics. After the original system was shown to be logically inconsistent (the Kleene–Rosser paradox), Church isolated and published in 1936[3] just the portion relevant to computation, what is now called the untyped lambda calculus.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.