Skip to content
Sign in
Artwork for Type Theory Forall
TechnologyScience

Type Theory Forall

Pedro Abreu

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

Play
Open in
  • 22 episodes
  • monthly
  • Avg 2 hr
  • English

Episodes 22

NewestOldestLongest
All2Unplayed2In progress0Played0
Counted on this page — what you have heard stays on this device, so it is not something the list can be paged by.
Showing 21–22 of 22 episodes