DiscoverType Theory Forall
Type Theory Forall
Claim Ownership

Type Theory Forall

Author: Pedro Abreu

Subscribed: 41Played: 1,143
Share
© CC BY 4.0

Description

An accessible podcast about Type Theory, Programming Languages Research and related
topics.
52 Episodes
Reverse
Comments 
Top Podcasts
The Best New Mark Levin Podcast Right Now - March 2025The Best New VINCE Podcast Right Now - March 2025The Best New Joe Rogan Experience Podcast Right Now - March 2025The Best New Sports Podcast Right Now - March 2025The Best New Business Podcast Right Now - March 2025The Best New News Podcast Right Now - March 2025The Best New Comedy Podcast Right Now - March 2025The Best New True Crime Podcast Right Now - March 2025
Google Play
Download from Google Play
Castbox
Download from App Store
usUnited States
We and our partners use cookies to personalize your experience, to show you ads based on your interests, and for measurement and analytics purposes. By using our website and our services, you agree to our use of cookies as described in our Cookie Policy.