Type Theory Forall
Podcast autorstwa Pedro Abreu
53 Odcinki
An accessible podcast about Type Theory, Programming Languages Research and related topics.
Podcast autorstwa Pedro Abreu
An accessible podcast about Type Theory, Programming Languages Research and related topics.