Good podcast? Give it some love!
Pedro Abreu
Type Theory ForallAbout
Pedro Abreu
Type Theory Forall
Good podcast? Give it some love!
Rate Podcast
Description
An accessible podcast about Type Theory, Programming Languages Research and related topics.
Show More
Add Creators
Podcast Reviews
This podcast hasn't been reviewed yet. You can to show others what you thought.
Mentioned In These Lists
There are no lists that include "Type Theory Forall". You can add this podcast to a new or existing list.
Host or manage this podcast?
Do you host or manage this podcast?
Claim and edit this page to your liking.
Claim and edit this page to your liking.
Are we missing an episode or update?
Use this to check the RSS feed immediately.
Use this to check the RSS feed immediately.
Podcast Details
Created by
Pedro Abreu
Podcast Status
Active
Started
Dec 14th, 2020
Latest Episode
Apr 16th, 2026Release Period
Monthly
Episodes
171
Avg. Episode Length
About 2 hours
Explicit
No
Language
English
This podcast, its content, and its artwork are not owned by, affiliated with, or endorsed by Podchaser.
Rate
Join Podchaser to...
- Rate podcasts and episodes
- Follow podcasts and creators
- Create podcast and episode lists
- & much more
Podcast Details
Created by
Pedro Abreu
Podcast Status
Active
Started
Dec 14th, 2020
Latest Episode
Apr 16th, 2026Release Period
Monthly
Episodes
171
Avg. Episode Length
About 2 hours
Explicit
No
Language
English
Do you host or manage this podcast?
Claim and edit this page to your liking.
Claim and edit this page to your liking.
Are we missing an episode or update?
Use this to check the RSS feed immediately.
Use this to check the RSS feed immediately.
Report this page as a duplicate.
- Podcasts
- Best Podcasts
- New Podcasts
- Podcast Charts
- Best Episodes
- Add a Podcast
- Claim a Podcast
- Podchaser 25
- Features
- Podcast Credits
- Podcast Networks
- Podcast Lists
- Podcast Monitoring
- Podcast Sponsors
- Podcast Contacts
- Resources
- Help Center
- Newsletter
- Blog
- API
Podchaser is the ultimate destination for podcast data, search, and discovery.
- © 2026 Podchaser, Inc.
- Privacy Policy
- Terms of Service
- Contact Us