Tag Archives: lambda calculus

Seminar: Functional programming, for real.

From Wikipedia: ” Functional programming has its roots in lambda calculus, a formal system developed in the 1930s to investigate computability, the Entscheidungsproblem, function definition, function application, and recursion. Many functional programming languages can be viewed as elaborations on the … Continue reading

Posted in events, seminar, teaching | Tagged , , | 1 Comment