Abstract versus Concrete Computation on Metric Partial Algebras

J. V. Tucker, J. I. Zucker

A model of computation is abstract if, when applied to any algebra, the resulting programs for computable functions and sets on that algebra are invariant under isomorphisms, and h…