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
Begin Chapter on Simple Type Theory
•
Aaron Stump
•
Season 5
•
Episode 1
Use Left/Right to seek, Home/End to jump to start or end. Hold shift to jump forward or backward.
In this episode, after a pretty long hiatus, I start a new chapter on simply typed lambda calculus. I present the typing rules and give some basic examples. Subsequent episodes will discuss various interesting nuances...