Type Theory Forall

A podcast by Pedro Abreu

Try Bookbeat 60! days for free, click here

Enjoy a whole world of audiobooks and e-books, everything from new releases to the classics

50 Episodes

4 / 3

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