‹ All episodes

Iowa Type Theory Commute

More on basics of simple types

April 29, 2024 Aaron Stump Season 5 Episode 2
More on basics of simple types
Iowa Type Theory Commute
More Info
Iowa Type Theory Commute
More on basics of simple types
Apr 29, 2024 Season 5 Episode 2
Aaron Stump

I review the typing rules and some basic examples for STLC.  I also remind listeners of the Curry-Howard isomorphism for STLC.  

Apple Podcasts Overcast Castro Castbox Pocket Casts Goodpods +
Show Notes

I review the typing rules and some basic examples for STLC.  I also remind listeners of the Curry-Howard isomorphism for STLC.