Brendan Zabarauskas@brendanzabPodcasts on type theory! http://typetheorypodcast.com https://itunes.apple.com/au/podcast/the-type-theory-podcast/id908982303?mt=2…4:22 AM · Oct 10, 2014·Twitter for Mac1 Retweet1 Like
