Pedro Abreu

Type Theory Forall

Type Theory Forall
71
Episodes
Technology, Science
Categories
English
Language
2026-01-28 19:45:00
Published

What's This Podcast
About?

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

Podcast Urls

Type Link

Podcast

https://www.typetheoryforall.com

Feed

https://www.typetheoryforall.com/episodes.mp3.rss

Apple Podcasts

https://podcasts.apple.com/us/podcast/type-theory-forall/id1546295833?uo=4

Podcast Copyright

CC BY 4.0

Start monitoring your podcast.

Sign up to track rankings and reviews from Spotify, Apple Podcasts and more.

Learn more Get started
Type Theory Forall
Pedro Abreu
Pedro Abreu