3 ms·Does it mention a link between lambda and pi calculus (if any, i'm just wondering)by agumonkey 3y agoDoes it mention a link between lambda and pi calculus (if any, i'm just wondering)