Introduction to language Lambda for machine programming

Islam Eddine HADI

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

Keywords


Lambda-calcul, Base Logique, Programmation.

Full Text:

PDF

Refbacks

  • There are currently no refbacks.