mrb : home

Papers We Love NYC: Propositions As Types

I was honored to return to the NYC chapter of Papers We Love to discuss Philip Wadler's paper "Propositions as Types." See the PWL crew's round up page about the event here and see below for slides and video.