More on basics of simple types
Iowa Type Theory Commute
English - April 29, 2024 15:00 - 15 minutes - 10.9 MB - ★★★★★ - 13 ratingsTechnology Science Mathematics programming languages computational logic type theory proof assistants cedille Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: Begin Chapter on Simple Type Theory
Next Episode: Arithmetic operations in simply typed lambda calculus
I review the typing rules and some basic examples for STLC. I also remind listeners of the Curry-Howard isomorphism for STLC.