.@FormalFact Note that this problem does not exist for Total Languages. For example: http://www.jucs.org/jucs_10_7/total_functional_programming …
-
-
-
But bounded halting holds unchanged, which is what really mattershttp://blog.paralleluniverse.co/2016/07/23/correctness-and-complexity/ …
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.