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.
EvaluationLogin to evaluate.