Category theory is a theoretical framework to describe abstract structures and relations in mathematics, first introduced by and [Saun

All the previous parts demonstrated what can do – defining functions to model the computing, applying functions to execute the computing

p is the ) (aka invariant point) of function f :

In lambda calculus, the primitive is function, which can have free variables and bound variables. was introduced by [Moses Schönfink

In lambda calculus and Church encoding, there are various ways to represent a list with anonymous functions.

Besides modeling values like Boolean and numeral, anonymous function can also model data structures. In Church encoding, Church pair is an approach to use functions to represent a tuple of 2 items.

Anonymous functions can also model numerals and their arithmetic. In Church encoding, a natural number n is represented by a function that calls a given function for n times. This representation is ca

Lambda calculus is a formal system for function definition and function application, so in lambda calculus, the only primitive is anonymous function. Anonymous function is actually very powerful. With

Lambda calculus (aka λ-calculus) is a theoretical framework to describe function definition, function application, function recursion, and uses functions and function application to express computatio

!