Episode 6: Aaron Stump on Cedille

Dec 1, 2016

Episode 6: Aaron Stump on Cedille

The Type Theory Podcast

Information

Show: The Type Theory Podcast
Published: December 1, 2016
Language: EN-US
Author: The Type Theory Podcast
Categories: science natural

Discover

Find new listens