The concept of computability and problems that can be solved by a computer program, including calculation of Lambda calculus.
The concept of computability and problems that can be solved by a computer program, including calculation of Lambda calculus.