Iowa Type Theory Commute
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
Iowa Type Theory Commute
More on basics of simple types
•
Aaron Stump
•
Season 5
•
Episode 2
Use Left/Right to seek, Home/End to jump to start or end. Hold shift to jump forward or backward.
I review the typing rules and some basic examples for STLC. I also remind listeners of the Curry-Howard isomorphism for STLC.