Practical Introduction to Lambda Calculus

Date: 13:15 23/10-15
Location: Nygaard-192
Host(s): Frederik Truelsen

In this workshop we will dive into lambda calculus, which is a formal system for expressing computation based on function abstractions and applications using variable binding and substitution.

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.