Introduction to language Lambda for machine programming

Abstract

Lambda-calculus is a language introduced by Church in 1930 aiming to build a logical basis for mathematics and combinatorial logic. Kleene's use of Lambda-calculus as a coding for computable functions gave rise to the first abstract programming language, such as the Turing machine as the first programmable machine. By its simple syntax, this language constitutes a general framework for the study of computational properties. Lambda calculation is the basis of all mathematical reasoning that is compatible with F. Codd's principles for building a relational model for Big Data