Artwork

Type Theory Forall

26 subscribers

updated

iconShare
 
Manage series 2951423
Content provided by Pedro Abreu. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Pedro Abreu or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://staging.podcastplayer.com/legal.
An accessible podcast about Type Theory, Programming Languages Research and related topics.
  continue reading

93 episodes