Begin Chapter on Simple Type Theory

Iowa Type Theory Commute

English - April 19, 2024 16:00 - 15 minutes - 10.8 MB - ★★★★★ - 13 ratings
Technology 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: Some advanced examples in DCS

Next Episode: More on basics of simple types

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...