Pedro Abreu

Host of the Type Theory Forall podcast, focusing on Type Theory, Programming Languages Research, and related topics.

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!