Episode 6: Aaron Stump on Cedille - a podcast by The Type Theory Podcast
from 2016-12-01T19:15:36
::
::
Episode 6: Aaron Stump on Cedille
Further episodes of 301 Moved Permanently
Further podcasts by The Type Theory Podcast
Website of The Type Theory Podcast