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: , , , ,


Comments: Post a Comment

<< Home

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