3 ms·
See also: https://en.wikipedia.org/wiki/Curry-Howard_correspondence https://en.wikipedia.org/wiki/Curry-Howard_correspondence
by n_plus_1_acc 3y ago
See also: https://en.wikipedia.org/wiki/Curry-Howard_correspondence https://en.wikipedia.org/wiki/Curry-Howard_correspondence
- tombert 3y agoSmall anecdote; I knew someone who used to call that the “Hurry Coward Correspondence”, which is what I usually call it now.