Radio and PodcastRadio and PodcastLive Radio & Podcasts
Episode 6: Aaron Stump on Cedille artwork
Science & Medicine

Episode 6: Aaron Stump on Cedille

The Type Theory Podcast by David Raymond Christiansen

Dec 1, 201600:00:00Science & Medicine

Episode 6: Aaron Stump on Cedille - The Type Theory Podcast

Related Episodes

Continue listening to more episodes from The Type Theory Podcast.

Episode 2: Edwin Brady on Idris

Sep 26, 2014 - 01:32:50

In our second episode, we speak with Edwin Brady from the University of St. Andrews. Since 2008, Edwin ha...