"A blend of methods of recursion theory and topology."

Iraj Kalantari, Larry Welch (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics