“Propositions as Types” by Philip Wadler [video]https://www.youtube.com/watch?v=IOiZatlZtGU by smosher_ • 11 years ago 2 0 11 years agoYOyoutube.com