Short Course: Typed Lambda Calculus

When:
March 28, 2017 @ 11:00 am – 12:15 pm
2017-03-28T11:00:00-10:00
2017-03-28T12:15:00-10:00
Where:
Keller Hall (4th floor)

Title: Introduction to Typed Lambda Calculus

Speaker: William DeMeo

Abstract: This is an introduction to the typed lambda calculus, a language for describing functions and tuples, with sum, product and function types. We briefly review the history and motivation of lambda calculus as an alternative to Turing machines. We discuss the syntax of lambda calculus and give some examples. Finally, we consider some reasons for choosing constructive type theory as a framework for doing math.

This is the first in a series of 6 meetings 3/28–4/1 (3 lectures at 11am and 3 hands-on practice sessions at 1:30pm).