Search
Comments
-
Recent Posts
Categories
-
This is my personal blog about software development and do-it-yourself projects. Most of the DIY projects are car or house repair.
I work as a software developer in the St. Paul Minneapolis area.
This is my personal blog about software development and do-it-yourself projects. Most of the DIY projects are car or house repair.
I work as a software developer in the St. Paul Minneapolis area.
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 … Continue reading →