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.

Contact

If you have any questions, suggestions or would like to sponsor this show please send an email to typetheoryforall@gmail.com.