Type Theory Forall

A podcast by Pedro Abreu

Categories:

Technology

44 Episodes

    14 / 3

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