[PL-sem-jr] Reminder: Talk tomorrow, Thu 02/10
Vincent St-Amour
stamourv at ccs.neu.edu
Wed Feb 9 20:50:42 EST 2011
At Sun, 06 Feb 2011 11:16:37 -0500,
Vincent St-Amour wrote:
>
> 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.
>
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
More information about the Pl-sem-jr
mailing list