Iowa Type Theory Commute

Iowa Type Theory Commute

Por: Aaron Stump
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
178 episodios disponibles

Latest episodes of the podcast Iowa Type Theory Commute