Propositions as Types

Michel Rijnders presents "Propositions as Types"; details to follow.

Find the paper here: http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf