2 ms·
Curious about the downvotes on this. Seems accurate.
by AlexCoventry 8y ago
Curious about the downvotes on this. Seems accurate.
- jcelerier 8y agowell, yes, unless they can proove that System F is equivalent in expressive power to λω in which case they can go fetch their Turing prize.