[PL-sem-jr] Talk thursday, Thu 02/10

[Vincent St-Amour]

Thu 02/10, Room WVH166 10:00-12:00

J. Ian Johnson - Beyond the lambda cube and into parallel universes

Type theory. Dependent types. We've all heard it, but do we
/understand/ it? In this talk I will be giving an overall look at type
theory as a foundation of mathematics, and its evolution since the sky
fell on Principia Mathematica. Prepare yourself to have your mind
boggled and then unboggled with a tale of excitement, confusion, FUD
and most importantly, where we currently stand with their practicality
in programming languages.