Curry–Howard correspondence

Subscribe / Listen Here

Software That Doesn’t Suck With Jim Blandy