/explore
|
You are here 
|
sookocheff.com | ||
| | | | |
danilafe.com
[AI summary] The blog post explores lambda calculus, its role in computation, and how Church-encoded integers are used to represent natural numbers through abstraction and function application. |
|
| | | | | ||
| | | | |
text.marvinborner.de
This article describes a variadic extension to the default fixed-point combinator namely the Y-combinator. We do this by translating the Scheme code from a paper to bruijn (pure lambda calculus). |
|
| | | | | ||
| | | | |
afnan.io
In 1936, Alonzo Church invented a universal model of computation called "lambda calculus." This system expresses computation as reductions on lambda expressions, which are basically just functions and variables. The system is simple but incredibly expressive, and serves as the foundation for programming languages such as Haskell and Idris. The significance of having a universal model of computation is that it provides a way of solving any problem that can be expressed in the system, and changes the problem from "how can I calculate this" to "can I express this properly?" Lambda calculus is also Turing complete, and even more impressively, was invented in the 1930s independently of Turing. |
|
| | | | | ||
| | | | |
countingfromzero.blog
This was a big week for Computer Science at Whitman: On Saturday, I learned that Personnel Committee is recommending me for tenure. Yesterday, the faculty voted to approve the creation of a new Computer Science major. Getting tenure the second time is not as exciting as the first time,but it's still a relief. Giving up... |
|
| | | |||
