Iowa Type Theory Commute

Activeen·187 episodes

technologysciencemathematics

Listener stats

Estimated listeners

Pro

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

Iowa Type Theory Commute by Aaron Stump · Podder Search