4 ms·
This comes to mind: http://en.wikipedia.org/wiki/Curry-Howard_Correspondence http://en.wikipedia.org/wiki/Curry-Howard_Correspondence
by betterunix 13y ago
This comes to mind:
http://en.wikipedia.org/wiki/Curry-Howard_Correspondence http://en.wikipedia.org/wiki/Curry-Howard_Correspondence