Michael Bernstein on Propositions as Types - originally posted on Sep 2, 2015

📺 https://www.youtube.com/watch?v=K-YYoigWN24

#paperswelove #video