Iowa Type Theory Commute

Iowa Type Theory Commute

About this podcast

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

Categories

About this podcast

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

Categories

A podcast from Aaron Stump

Iowa Type Theory Commute

Episodes