All content for Type Theory Forall is the property of Pedro Abreu and is served directly from their servers
with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
An accessible podcast about Type Theory, Programming Languages Research and
related topics.
