Signin

A formal proof of the independence of the continuum hypothesis

ACM SIGPLAN • July 3, 2020

Video Thumbnail

You May Also Like

ACM SIGPLAN

About

No channel description available.

Latest Posts

Video Thumbnail

Ask Me Anything with Bjarne Stroustrup, hosted by John Regehr

ACM SIGPLAN

Video Thumbnail

[FUNARCH'23] Functional Programming in the Large - Status and Perspective

ACM SIGPLAN

Video Thumbnail

Probabilistic Programming

ACM SIGPLAN

Video Thumbnail

[ICFP'22] Fireside Chat with Arvind and Guy Steele

ACM SIGPLAN