Iowa Type Theory Commute

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

Update Required To play the media you will need to either update your browser to a recent version or update your Flash plugin.

Podtail