Type Theory Forall is a podcast about Type Theory and Programming Language research in general. We interview relevant people in our field.
31 Episoder
Gå ikke glip af nogen episoder af “Type Theory Forall” - abonnér på podcasten med gratisapp GetPodcast.