Skip to content

Lambda Calculus

Jump to bottom Edit New page
Paul Mucur edited this page Oct 7, 2016 · 3 revisions

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.

Add a custom footer
Clone this wiki locally