Episode 3: Dan Licata on Homotopy Type Theory
The Type Theory Podcast
Episode 3: Dan Licata on Homotopy Type TheoryNext Episodes
Episode 2: Edwin Brady on Idris @ The Type Theory Podcast
📆 2014-09-26 09:58 / ⌛ 01:32:50
Episode 1: Peter Dybjer on types and testing @ The Type Theory Podcast
📆 2014-08-13 08:18