An accessible podcast about Type Theory, Programming Languages Research and related
topics.
47 Episodes
Don't miss an episode of “Type Theory Forall” and subscribe to it in the GetPodcast app.
Don't miss an episode of “Type Theory Forall” and subscribe to it in the GetPodcast app.