Episode 3: Dan Licata on Homotopy Type Theory

Jan 7, 2015

Episode 3: Dan Licata on Homotopy Type Theory

The Type Theory Podcast

Information

Show: The Type Theory Podcast
Published: January 7, 2015
Language: EN-US
Author: The Type Theory Podcast
Categories: science natural

Discover

Find new listens