Simple section interchange and properties of non-computable functions

Ward Douglas Maurer. Simple section interchange and properties of non-computable functions. Science of Computer Programming, 75(11):1142-1164, 2010. [doi]

Abstract

Abstract is missing.