[posterboy]

That's shifting the goal post. But sure, jesuslop's pointer to the Curry-Howard-correspondance is closer to the meat.