Tim Sweeney - Curry-Howard Correspondence (via searchlore.ai)