18:13
cos326-2020-11-02-uncomputability
Uncomputability: What We Can't Compute
30:19
cos326-2020-11-01-computability
Computability
12:40
cos326-2020-04-04-type-history
Where did type systems come from?
04:33
PPP Video_Jon Ma
Princeton Perspective Project (PPP) Video Testimonial by Jon Ma '15