Introduction to Church encoding - a podcast by Aaron Stump

The Church encoding represents data as their own fold-right functions

Further episodes of Iowa Type Theory Commute

Further podcasts by Aaron Stump

Website of Aaron Stump