Calendar

28 Tue
All-day
12:00 am
1:00 am
2:00 am
3:00 am
4:00 am
5:00 am
6:00 am
7:00 am
8:00 am
9:00 am
10:00 am
11:00 am
12:00 pm
1:00 pm
2:00 pm
3:00 pm
4:00 pm
5:00 pm
6:00 pm
7:00 pm
8:00 pm
9:00 pm
10:00 pm
11:00 pm
11:00 am Short Course: Typed Lambda Calculus @ Keller Hall (4th floor)
Short Course: Typed Lambda Calculus @ Keller Hall (4th floor)
Mar 28 @ 11:00 am – 12:15 pm
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[...]
1:30 pm Lambda Calculus: practice session @ Keller Hall (4th fl)
Lambda Calculus: practice session @ Keller Hall (4th fl)
Mar 28 @ 1:30 pm – 3:00 pm
(hands on exercise session; follow-up to 11am lecture on typed lambda calculus)