Dieter Spreen
-
Abstract versus concrete computation on metric partial algebras
ACM Transactions on Computational Logic (TOCL)
Effective continuities on effective topological spaces
Journal of Complexity