From Type Theory Forall by Pedro Abreu
September 29, 2025 · 1h 50m
Philip Wadler discusses the importance of communicating scientific ideas clearly and his contributions to type theory and category theory.
Explore listener stats, chart rankings, contacts and more on the Type Theory Forall podcast page.