More on basics of simple types

Iowa Type Theory Commute

Indhold leveret af Aaron Stump. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Aaron Stump eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

1+ y ago 15:45

MP3•Episode hjem

Fetch error

Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on November 14, 2025 23:41 (1M ago)

What now? This series will be checked again in the next day. If you believe it should be working, please verify the publisher's feed link below is valid and includes actual episode links. You can contact support to request the feed be immediately fetched.

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

179 episoder

#Science #Tech #Math #Aaron Stump #Programming Language #Computational Logic #Type Theory #Proof Assistants #Cedille

Alle episoder

Velkommen til Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

Lyt til 500+ emner

Minder om Iowa Type Theory Commute

Podcasts der er værd at lytte til

Iowa Type Theory Commute « » More on basics of simple types

Fetch error