Type Theory Forall
A podcast by Pedro Abreu
Categories:
47 Episodes
An accessible podcast about Type Theory, Programming Languages Research and related topics.
A podcast by Pedro Abreu
An accessible podcast about Type Theory, Programming Languages Research and related topics.
We use cookies on our site to enhance functionality, analyze usage of our site and improve ad relevance.
Enables basic functionality and can not be rejected
Collects anonymous data about your usage of our site and how it performs. This enables us to improve our site and the user experience.
Collects anonymous data to improve your ad relevance.