For audio, video, and text transcripts: https://lispcast.com/what-is-a-total-function/
See All 242 Episodes of "Thoughts on Functional Programming Podcast by Eric Normand"