The Type Theory Podcast

The Type Theory Podcast

The Type Theory Podcast

Share Podcast:
A podcast about type theory
A podcast about type theory
Episodes (6)
Newest to Oldest
Sort Episodes:

Episode 6: Aaron Stump on...

01 Dec 2016 | 0 mins 0 secs

Episode 6: Aaron Stu...

01 Dec 2016 | 0 mins 0 secs

Episode 5: Bob Constable ...

31 Aug 2015 | 0 mins 0 secs

Episode 5: Bob Const...

31 Aug 2015 | 0 mins 0 secs

Episode 4: Stephanie Weir...

18 Apr 2015 | 0 mins 0 secs

Episode 4: Stephanie...

18 Apr 2015 | 0 mins 0 secs

Episode 3: Dan Licata on ...

07 Jan 2015 | 0 mins 0 secs

Episode 3: Dan Licat...

07 Jan 2015 | 0 mins 0 secs

Episode 2: Edwin Brady on...

26 Sep 2014 | 01 hr 32 mins 50 secs

Episode 2: Edwin Bra...

26 Sep 2014 | 01 hr 32 mins 50 secs

Episode 1: Peter Dybjer o...

13 Aug 2014 | 0 mins 0 secs

Episode 1: Peter Dyb...

13 Aug 2014 | 0 mins 0 secs