Iowa Type Theory Commute

Proving Confluence for Untyped Lambda Calculus II

Listen Later

Discussion of the basic idea of the Tait--Martin-Loef proof of confluence for untyped lambda calculus.  Let me know any requests for what to discuss in Chapter 8!

...more
View all episodesView all episodes
Download on the App Store
Iowa Type Theory CommuteBy Aaron Stump
  • 5
  • 5
  • 5
  • 5
  • 5

5

19 ratings

More shows like Iowa Type Theory Commute

View all
The Changelog: Software Development, Open Source by Changelog Media

The Changelog: Software Development, Open Source

289 Listeners

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas by Sean Carroll

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

4,170 Listeners

Interesting Times with Ross Douthat by New York Times Opinion

Interesting Times with Ross Douthat

7,230 Listeners

Tech Won't Save Us by Paris Marx

Tech Won't Save Us

577 Listeners

Dwarkesh Podcast by Dwarkesh Patel

Dwarkesh Podcast

576 Listeners

The Ezra Klein Show by New York Times Opinion

The Ezra Klein Show

15,950 Listeners

The Haskell Interlude by Haskell Podcast

The Haskell Interlude

14 Listeners

Software Unscripted by Richard Feldman

Software Unscripted

29 Listeners

Oxide and Friends by Oxide Computer Company

Oxide and Friends

65 Listeners