Dear visitor,

it seems your are using Internet Explorer in version 11 or lower as your web browser. Due to a lack of supported modern web standards I do not support this browser anymore.

Please use an alternative web browser such as:

lambda calculus

  • Lambda Calculus - Recursion

    Feb 13

    In computer science recursion is the act of solving a problem with intermediate results of smaller instances of the same problem. A function used to solve a problem is therefore calling itself within its own definition. This concept is usually supported by most programming languages in addition to the imperative style of programming, which uses control structures such as for and while loops. Some functional programming languages even support recursion as the only method of problem solving. This article is about the definition of recursion in lambda calculus.

    Read More…functional programminglambda calculusrecursion
  • Lambda Calculus - Boolean Algebra

    Feb 8

    After introducing fundamentals of the lambda calculus in a previous article, along with demonstrations how it can be used for basic arithmetic, the following text has the goal to show how Boolean algebra is expressed in this formal system. Based on the definitions of true and false further basic operations of Boolean algebra can be derived, which then leads to one important aspect in programming: expressing conditionals.

    Read More…functional programminglambda calculus
  • Fundamentals of Lambda Calculus

    Feb 3

    Lambda calculus is a formal system to study computable functions based on variable binding and substitution. Introduced in the 1930s by Alonzo Church, it is (in its typed form) the fundamental concept of functional programming languages like Haskell and Scala. Although the topic might seem very theoretical, some basic knowledge in lambda calculus can be very helpful to understand these languages, and where they originated from, much better. The goal of this article is to introduce some basic concepts of lambda calculus, which later on can be mapped to real world usage scenarios with functional programming languages.

    Read More…functional programminglambda calculus