Logo

Type Theory Forall

Type Theory much beyond inference rules

Episode image

#36 Behind the Person Behind this Podcast

Pedro Abreu

Apr 11th 2024   |  110 min
0:00
0:00

In this episode we celebrate 3 years of existence of this podcast by reflecting on the journey so far, what is my philosophy, how do I approach the interviews, my overall goals for the show, and some of our plans for the future.

In order to achieve this, I first take a detour and tell you a little more about my personal history, and my carreer in type theory and programming languages.