Toward Higher Inductive Types - Michael Shulman Video of Toward Higher Inductive Types - Michael Shulman Michael ShulmanUniversity of California, San Diego; Member, School of MathematicsNovember 14, 2012