The Type Theory Podcast

Episode 3: Dan Licata on Homotopy Type Theory

Listen Later
Episode 3: Dan Licata on Homotopy Type Theory
...more
View all episodesView all episodes
Download on the App Store
The Type Theory PodcastBy The Type Theory Podcast
  • 5
  • 5
  • 5
  • 5
  • 5

5

5 ratings

More shows like The Type Theory Podcast

View all
ADSP: Algorithms + Data Structures = Programs by Conor Hoekstra, Bryce Adelstein Lelbach & Ben Deane

ADSP: Algorithms + Data Structures = Programs

34 Listeners