×

Recursion theory on iterative combinatory spaces. (English) Zbl 0328.02026


MSC:

03D75 Abstract and axiomatic computability and recursion theory
06F05 Ordered semigroups and monoids
20M20 Semigroups of transformations, relations, partitions, etc.
68N01 General topics in the theory of software
PDF BibTeX XML Cite