3 ms·
well, yes, unless they can proove that System F is equivalent in expressive power to λω in which case they can go fetch their Turing prize.
by jcelerier 8y ago
well, yes, unless they can proove that System F is equivalent in expressive power to λω in which case they can go fetch their Turing prize.