An accessible podcast about Type Theory, Programming Languages Research and related
topics.
An accessible podcast about Type Theory, Programming Languages Research and related
topics.
Podden och tillhörande omslagsbild på den här sidan
tillhör Pedro Abreu. Innehållet i podden är skapat av Pedro Abreu och
inte av,
eller tillsammans med, Poddtoppen.