“Propositions as Types” by Philip Wadler #1 Post by gulda » Thu, May 19, 2016, 10:39 AM UTC “Propositions as Types” by Philip Wadleryoutube.com