30.1.20

 

A Profound Pun


My attempt to explain Propositions as Types to a general audience. Recorded at Bright Club, The Stand, Edinburgh, 23 September 2019.

Labels: , , , ,


# posted by Philip Wadler @ 11:42 PM 0 comments

This page is powered by Blogger. Isn't yours?