Recursion Theory, its Generalisations and Applications