Episode 3: Dan Licata on Homotopy Type Theory The Type Theory Podcast

    • Naturwissenschaften

Episode 3: Dan Licata on Homotopy Type Theory

  • © 2024 The Type Theory Podcast

Episode 3: Dan Licata on Homotopy Type Theory

  • © 2024 The Type Theory Podcast