53 Épisodes

    8 / 3

    An accessible podcast about Type Theory, Programming Languages Research and related topics.

    Visit the podcast's native language site