scientific article
From MaRDI portal
Publication:3676137
zbMath0563.03030MaRDI QIDQ3676137
No author found.
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
continuityeffective operatorstotal recursive functionspartial recursive functionscomplete partial ordereffective topological spacerecursive metric space
Specification and verification (program logics, model checking, etc.) (68Q60) Recursive functions and relations, subrecursive hierarchies (03D20) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (9)
On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory ⋮ Recursive topological spaces ⋮ Effective inseparability in a topological setting ⋮ Some results related to the continuity problem ⋮ COMPUTABLY COMPACT METRIC SPACES ⋮ Towards Computability over Effectively Enumerable Topological Spaces ⋮ Total sets and objects in domain theory ⋮ Unnamed Item ⋮ Representations versus numberings: On the relationship of two computability notions
This page was built for publication:
