A talk between Greg Meredith and Christian Williams on LADL (Logic as A Distributive Law).
See All 101 Episodes of "RCast"