Type Theory Forall podcast

Type Theory Forall

Pedro Abreu

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

47 Episodes