?-Complete a-spaces

DOI10.1007/BF01069155zbMath0517.68057MaRDI QIDQ3666279

Yuri L. Ershov

Publication date: 1982

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

denotational semantics; finite type computable functionals; omega- complete A-space

Mathematics Subject Classification ID

54A05: Topological spaces and generalizations (closure spaces, etc.)

68Q65: Abstract data types; algebraic specification

54D10: Lower separation axioms ((T_0)--(T_3), etc.)

03B40: Combinatory logic and lambda calculus

Cites Work

• Effectively given domains
• Unnamed Item