Iowa Type Theory Commute

Church-encoding natural numbers

Listen Later

What is fold-right for a natural number?  How do we define addition with this?  The problem of inefficient predecessor.

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

5

17 ratings

More shows like Iowa Type Theory Commute

View all
Software Engineering Radio - the podcast for professional software developers by se-radio@computer.org

Software Engineering Radio - the podcast for professional software developers

274 Listeners

This American Life by This American Life

This American Life

90,949 Listeners

Planet Money by NPR

Planet Money

30,845 Listeners

CppCast by Timur Doumler & Phil Nash

CppCast

108 Listeners

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

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

4,144 Listeners

Algorithms + Data Structures = Programs by Conor Hoekstra, Bryce Adelstein Lelbach & Ben Deane

Algorithms + Data Structures = Programs

33 Listeners

The Ezra Klein Show by New York Times Opinion

The Ezra Klein Show

15,335 Listeners

The Array Cast by The Array Cast

The Array Cast

35 Listeners

The Haskell Interlude by Haskell Podcast

The Haskell Interlude

13 Listeners

The Weekly Show with Jon Stewart by Comedy Central

The Weekly Show with Jon Stewart

10,613 Listeners

The Rest Is Politics by Goalhanger

The Rest Is Politics

3,289 Listeners

Oxide and Friends by Oxide Computer Company

Oxide and Friends

47 Listeners

Developer Voices by Kris Jenkins

Developer Voices

28 Listeners