On the Setoid Model of Type Theory - Erik Palmgren Video of On the Setoid Model of Type Theory - Erik Palmgren Erik PalmgrenUniversity of StockholmOctober 18, 2012