London Computation Club: TAPL Ch 9 - The Simply Typed Lambda Calculus


location Geckoboard | 6:30 PM-8:30 PM Tuesday 09 May 2017 (GMT)

In our last meeting we finally met types, and applied them to a simple language with boolean and numeric types.

This time, we’ll cover the simply-typed lambda calculus - please join us!

If you have any questions at all, please join us on Slack and our mailing list, or contact us on Twitter.

Location

Geckoboard

Geckoboard, 3rd Floor, 60 Worship St, London EC2A, UK

map Open in Google maps | Apple maps | Citymapper

Sign in to edit

Complete your event page

 
×
twitter
facebook
linkedin