Episode 3: Dan Licata on Homotopy Type Theory
Listen now
More Episodes
Published 12/01/16