podcastdetails.com

Share

Iowa Type Theory Commute

Functors and catamorphisms

Listen

Description

More about the structured recusion scheme known as the catamorphism. Basic idea of functors.

Print Share

Want to check another podcast?

Enter the RSS feed of a podcast, and see all of their public statistics.

Made by Alex Barredo. Send your feedback to alex@barredo.es.