Tag: Lambda
-
Turing’s Lambda Notation
I’m still working through Turing’s paper on Computability and the Turing Machine. I am at the end and reading the appendix on Alonzo Church’s equivalent approach using Lambda Calculus. His work is so familiar to most programmers since we use the concepts in C, C++, Java, and C#. I decided to use C# […]