?-Complete a-spaces

DOI10.1007/BF01069155zbMath0517.68057OpenAlexW2045584103MaRDI QIDQ3666279

Yuri L. Ershov

Publication date: 1982

Published in: Cybernetics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01069155

zbMATH Keywords

denotational semanticsfinite type computable functionalsomega- complete A-space

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Abstract data types; algebraic specification (68Q65) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item
• Effectively given domains

This page was built for publication: ?-Complete a-spaces