Type Theory Forall
En podkast av Pedro Abreu
Kategorier:
44 Episoder
An accessible podcast about Type Theory, Programming Languages Research and related topics.
En podkast av Pedro Abreu
An accessible podcast about Type Theory, Programming Languages Research and related topics.