[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