Logo

Type Theory Forall

Type Theory much beyond inference rules

About

Type Theory Forall is a podcast hosted by Pedro Abreu (uh-b-R-EH-oo). Our goal is to create content broadly related with PL research and type theory. For this we interview researchers, host round-tables and have broad discussions about anything related with PL and Type Theory.

Our design and branding is handled by Luiz Curado from Overblur.

Our store operations and design assistance are handled by Davi Bento.