4. Lambda calculus (also written as λ-calculus) is a formal
system in mathematical logic for expressing computation
based on function abstraction and application using variable
binding and substitution. It is a universal model of
computation that can be used to simulate any single-taped
Turing machine and was first introduced by mathematician
Alonzo Church in the 1930s as part of an investigation into
the foundations of mathematics.
https://en.wikipedia.org/wiki/Lambda_calculus
21. THANK YOU
The Alchemist in Search of the
Philosopher's Stone, by Joseph
Wright, 1771
eduardonunesp@gmail.com
Elixir |> SC, 21 Jun 2016
http://learnyousomeerlang.com
http://elixir-lang.org
https://www.learnelixir.tv
http://confreaks.tv/