Curry–Howard correspondence

Subscribe / Listen Here

Beautiful and Useless Coding with Allison Parrish