Sveriges mest populära poddar

Skapare

Pedro Abreu

Lyssna på podden från Pedro Abreu.

Type Theory Forall

Type Theory Forall

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

63 avsnitt