Iowa Type Theory Commute
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
Podcasting since 2019 • 188 episodes
Iowa Type Theory Commute
Latest Episodes
A little bit about word equations
The problem of word equations is a rather storied one, including frustrated connections to Hilbert's Tenth problem. Word equations relate expressions consisting of concatenations of variables and constant symbols. An example is a X ...
•
Season 7
•
Episode 10
•
17:14
Coercive subtyping and coherence
In this episode, I give further arguments in favor of coercive subtyping from a software-engineering perspective. I also explain the critical concept of coherence.
•
Season 7
•
Episode 9
•
20:30