I’d say if you ask a mathematician, they would disagree with you. But maybe that depends on how far they have gone into maths from common sense

That’s why it’s also called Curry-Howard isomorphism.

Correspondence is not correlation.