nakal, 1 year ago That's why it's also called Curry-Howard isomorphism.
That's why it's also called Curry-Howard isomorphism.