“Propositions as Types” by Philip Wadler [video] #1 Post by smosher_ » Mon, Sep 28, 2015, 6:14 AM UTC “Propositions as Types” by Philip Wadler [video]youtube.com