Type Theory Forall podcast

Type Theory Forall

Pedro Abreu

Type Theory Forall is a podcast about Type Theory and Programming Language research in general. We interview relevant people in our field.

31 Episoder