Practical Introduction to Lambda Calculus

Date: 13:15 03/06-16
Location: Nygaard-192
Host(s): Mathias Pedersen

In this workshop we will dive into lambda calculus, which is a formal system for expressing computation basedon function abstractions and applications using variable binding and substitution. It's a formal system with expressiveness to simulate a single-taped turing machine, and therefore capable of expressing the same as any
modern language such as for example Java.

The talk will handle the basics terminology, reduction rules, combinators. There will be emphasis on beta reductions and there will be exercises suited for all levels of expertise.

Evaluation

Login to evaluate.