Iowa Type Theory Commute

Aaron Stump

Technology

0 Plays

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

Latest Episodes

Comments & Reviews0

Write a Comment

Your Name (Optional)

Your Rating (Optional):

Your Comment:

Notice: 4. RadaRadio shares official media streams from radio stations. We do not host any music files.

DMCA - Our site operates as a 'Hosting Provider' under the Digital Millennium Copyright Act (DMCA). Content is added by users. If you believe there is a copyright infringement, please contact us through our 'Contact' page under the 'Notice and Takedown' principle. The necessary review will be conducted within 48 hours.

Listen to thousands of live radio stations from around the world.

Links