Type Theory Forall
A podcast by Pedro Abreu
Categories:
44 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.