Tag Archives: lcip

Lambda Calculus for the Imperative Programmer I

This post is first in a series of articles on lambda calculus. You can see the whole series by looking up the tag lcip. The Untyped Lambda Calculus At the very core, the untyped lambda calculus (referred to as λ … Continue reading

Posted in Computers | Tagged , , | 1 Comment