4 ms·
Yes - that's the Curry-Howard isomorphism: https://en.wikipedia.org/wiki/Curry–Howard_correspondence https://en.wikipedia.org/wiki/Curry–Howard_correspondence
by profquail 10y ago
Yes - that's the Curry-Howard isomorphism:
https://en.wikipedia.org/wiki/Curry–Howard_correspondence https://en.wikipedia.org/wiki/Curry–Howard_correspondence