Lambda Calculus

Paul Mucur edited this page Oct 7, 2016 · 3 revisions
Clone this wiki locally

We held a meeting on the Lambda Calculus on 20th September 2016. Details are available on Lanyrd.

Tom Stuart was kind enough to shepherd us through some of the basics of the Lambda calculus, and even wrote a simple interactive tool to allow us to manipulate expressions through various expansions, transformations and reductions.

Thanks

Thanks to Leo and Geckoboard for hosting and to Tom Stuart for his presentation, workshop and all-round excellent shepherding.